Компа́ктный элеме́нт решётки, элемент $a$ решётки $L$, для которого условие$$a \leqslant \bigvee_{j \in J} x_j,\qquad x_j \in L,$$влечёт$$a \leqslant x_j \vee \cdots \vee x_{j_k}$$для некоторого конечного подмножества $\left\{j_1, \ldots, j_k\right\} \subseteq J$.