:: deftheorem DefUnc defines UncertaintyMap ROUGHS_5:def 3 :
for R being non empty RelStr
for b₂ being Function of the carrier of R,(bool the carrier of R) holds
( b₂ = UncertaintyMap R iff for x being Element of R holds b₂ . x = Coim ( the InternalRel of R,x) );