Set theory

  • Intersection
  • Union
  • Complement
  • Set Builder Notation

Zermelo-Frankael Axioms

Axiom of Choice

The axiom states that, for any set X of nonempty sets, there exists a choice function f defined on X. A choice function is a function f defined on a collection X of nonempty sets, such that for every set A in X, f(A) is an element of A.