for R being non empty RelStr st the InternalRel of R is symmetric holds
UncertaintyMap R = tau R