theorem Th11: :: WAYBEL19:11

for S, T being complete lower TopLattice
for f being Function of S,T st f is continuous holds
f is filtered-infs-preserving