Homework Statement
We're working more or less with the standard ZF axioms.
Prove that A \subseteq \mathcal{P}(\bigcup A) for any set A, whose elements are all sets. When are they equal?
Homework Equations
Just the axioms
I) Extensionality
II) Emptyset and Pairset
III) Separation
IV)...