Go backward to Sets Go up to Top Go forward to Set Constructions

Set Predicates

Based on concept of membership

• Membership x in S

  Only basic predicate
  (sets are black boxes otherwise)

• Equivalence R = S

  x in R <=> x in S (for all x)
  (extensionality principle)

• Subset R c S

  x in R => x in S (for all x)
  ({} c S, S c S)