theorem ReflUnc: :: ROUGHS_5:34

for R being non empty RelStr st R is reflexive holds
for w being Element of R holds w in (UncertaintyMap R) . w