Подрешетка

Пусть $(A, \lor, \land)$ — решетка. Подмножество $B \subseteq A$ называется **замкнутым**, если $a \lor b \in B$ и $a \land b \in B$ для любых $a, b \in B$. Тогда $(B, \lor, \land)$ — решетка, называемая **подрешеткой** решетки $(A, \lor, \land)$.