theorem Th39: :: ROUGHS_2:39

for R being non empty mediate RelStr
for X being Subset of R holds UAp X c= UAp (UAp X)