下方閉包

$ l^{\downarrow(X,\le)}:=l^\downarrow:=\downarrow l:=\{x\in X\mid l\le x\}