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 \\)