Go backward to Some Axioms Go up to Top Go forward to Subset

Set Enumeration

Definition: term {T₀, T₁, ..., T_n-1}

• Terms T_i
• Set that contains exactly the values denoted by the T_i:

  forall x: x in {T₀, T₁, ..., T_n-1} <=> (x = T₀ \/ x = T₁ \/ ... \/ x = T_n-1).

Special Case: {} = 0

Example: S := {1, 0, {1, 2}, a}

• 1 in S, 0 in S, {1, 2} in S, a in S.
• S = {{1, 2}, a, 0, 1}.
• S = {1, 1, 1, 0, a, {1, 2}, a}.