theorem Th12: :: WAYBEL_1:12

for S, T being non empty Poset
for g being Function of S,T st g is upper_adjoint holds
g is infs-preserving