theorem Th2: :: WAYBEL21:2

for S, T being Semilattice
for f being Function of S,T st f is meet-preserving holds
for X being non empty finite Subset of S holds f preserves_inf_of X