Go up to Top Go forward to Set Predicates

Sets

Collections of elements.

• Enumeration of elements

  {1, {1, 4, 7}, 4}, {red, yellow}, {}

• Defining property

  { x | P(x)}
  { x | x is an even integer}

Examples

• Natural numbers N

  {0,1,2,...}

• Truth values (Booleans) B

  {true, false}

• Rational numbers Q

  {x | x=p/q for some p,q in N, q != 0}