theorem Th27: :: ROUGHS_2:27

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