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