theorem Th95H: :: ROUGHS_3:16

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