Arbitrary distributive law for Sets
138069
Proof that $\bigcap_{a\in A} \bigg(\, \bigcup_{b\in B} F_{a,b} \, \bigg) = \bigcup_{f\in ^AB} \bigg(\, \bigcap_{a \in A} F_{a,f(a)}\,\bigg) $
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
84780
Cartesian products as sets of all functions.
117479
Mutual set of representatives for left and right cosets: what about infinite groups?
46423
Distributivity of quantifiers over logical connectives
132537
Class of sets of a given infinite cardinality
98518
Cardinality of equivalence relations on N
6410
Prove that $(ma, mb) = |m|(a, b)\ $ [GCD & LCM Distributive Law]
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
113083
How to prove a set equality?
158882
Prove the existence of some weird family of sets
79974
The cardinality of Lebesgue sets
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
111032
Proof of Sets involving the Cartesian Product
87830
Relating the union of the power set of a set to the set itself
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
133762
A set which satisfies all conditions for a Group except associativity