上方閉包

$ u^{\uparrow(X,\le)}:=u^\uparrow:=\uparrow u:=\{x\in X\mid x\le u\}