$\forall X.\, (\varnothing \notin X) \land (\forall x, y \in X.\, x \ne y \to x \cap y = \varnothing) \to (\exists A.\, \forall x \in X.\, \exists t.\, x \cap A = \{ t \})$