theorem Th28: :: ROUGHS_2:28

for R being non empty RelStr holds Flip (LAp R) = UAp R