theorem Th8: :: ROUGHS_2:8

for R being non empty RelStr
for X being Subset of R holds Uap X = UAp X