\forall A \in \mathcal{P}(U)