apropos of nothing, you could replace criteria 1 and 2 with: for all \$$S, T\in P\$$ we have \$$S\ne T \iff S \cap T = \varnothing \$$