theorem Th62: :: WAYBEL34:62

for S, T being lower-bounded with_suprema Poset
for f being Function of S,T st f is join-preserving & f is bottom-preserving holds
f is finite-sups-preserving