Using set properties, you can then do Proofs with Sets

The basic ones:
Includes:

  • Inclusion of Intersection
  • Inclusion of Union
  • Transitive Property

The following Identities:

  • Commutative Law
  • Associative Law
  • Distributive Law
  • Identity Law
  • Complement Law
  • Double Complement Law
  • Idempotent Law
  • Universal Bound Law
  • De Morgan’s Laws
  • Absorption Law
  • Complement of U and
  • Set Difference Law1