theorem Th28: :: ROUGHS_2:28
for R being non empty RelStr holds Flip (LAp R) = UAp R