Эквивалентное утверждение:
Ч.у.множество ( 𝐿;≤ ) есть **решетка**, если sup H и inf H существуют для любого непустого конечного подмножества H множества 𝐿