Discrete-math 3
Empty set is a subset of any set lemma
Transitivity of subsets lemma
Exercise
Intersection
Union
Difference
Symmetrical difference
Complement
Properties of set operations definition
Idempotent law
Domination law
Identity law
Commutative laws
Associative laws
Distributive laws
Properties of inclusion
Transitivity of inclusion
Property of symmetric difference