The lower set ↓x is always closed; however, the upper set ↑x need not be open or closed.
下部集合↓x总是闭集；但是上部集合↑x不必须是开集或闭集。