theorem Th13: :: WAYBEL_1:13

for S, T being non empty Poset
for d being Function of T,S st d is lower_adjoint holds
d is sups-preserving