for R being non empty RelStr st R is reflexive holds
union ((UncertaintyMap R) .: ([#] R)) = the carrier of R