Recent content by dreyvas

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