theorem :: ROUGHS_2:36

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