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