This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
A version of complete distributivity is that the join map from lower sets in L to L preserves meets. For power sets, even this version still requires the axiom of choice: for an element x of the intersection of the unions, one has to choose for each element of the lower set an element of it containing x. GeoffreyT2000 (talk) 14:43, 8 June 2015 (UTC)[reply]
