Verification of my set solutions
43068
Let A and B be sets. Show that A is a subset of B if and only if for any set C, one has A union C is a subset of B union C.
142886
Find set with maximal cardinality given constraints
79686
How can I prove these statements?
140009
Show complex solutions exist
2935
Completness and Set of Result of One Set ?!?
51719
Why is Solve returning an empty list?
793
Set my own question as solved
113407
Finding all solutions for a system of equations with constraint on the sum of absolute values
59873
Proof of clockwise towers of Hanoi variant recursive solution
83518
Proving Two sets have same cardinality
140044
A set union find algorithm
61671
Discrete Math: Writing Proofs
3250
Assign the results from a Solve to variable(s)
134120
Prove statement with a counter-example: For all sets S, T and V, V ∪ (S ∩ T) = (V ∪ S) ∩ T is false
32441
How to prove or disprove statements about sets
37783
Proving that a set of 2016 natural numbers contain a non-empty set with a sum divisible by 2016
9146
Proving that a list of perfect square numbers is complete