下界全体の集合

$ \mathcal{L}:2^X\ni B\mapsto\{x\in X|\forall a\in B;a\ge x\}\in2^X