theorem Th95L: :: ROUGHS_3:15

for R being non empty transitive RelStr
for X being Subset of R holds LAp X c= LAp (LAp X)