Proving for a condition based on set theory
13415
How to show if $A \subseteq B$, then $A \cap B = A$?
144266
set theory proof of $A\cap B = A \setminus(A\setminus B)$
25834
Proof a set cannot contain its own powerset - Russell's Paradox
82825
Proving set of interiors is open
122271
A subset of a transitive set is transitive
93771
Prove that for any set $A$ there is some $x \notin A$
142993
Proof of A ⊆ C and B ⊆ C ⇔ A ∪ B ⊆ C
46698
Showing a set is closed under inverses
21820
How to prove that a set is invariant?
140682
Proving a property of a Logic Formal Language
88982
Prove that for any two sets $A$ and $B$, $A\notin B$ or $B\notin A$
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
62709
Functions that are sets of all function - proofs
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
71133
prove inequlity about cardinality power sets
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
7112
Product of sets and supremum