theorem Th20: :: WAYBEL13:20

for L1, L2 being non empty antisymmetric RelStr
for f being Function of L1,L2 st f is isomorphic holds
( f is infs-preserving & f is sups-preserving )