:: deftheorem defines CLHomomorphism WAYBEL16:def 1 :
for S, T being non empty complete Poset
for b₃ being Function of S,T holds
( b₃ is CLHomomorphism of S,T iff ( b₃ is directed-sups-preserving & b₃ is infs-preserving ) );