Composing this with the function that maps any subset of "X" to its lower closure (again an adjunction for the inclusion of lower sets in the powerset), one obtains the usual supremum map from the powerset 2 to "X".