for A being partial non-empty UAStr
for R being Relation of the carrier of A holds R |^ A c= R