theorem Th16: :: ROUGHS_2:16

for R being non empty RelStr
for X being Subset of R holds LAp (X `) = (UAp X) `