A set is a mathematical object with a notion of membership i.e. whether something is in it or not.

Since they do NOT have a notion of counting, you can only include an element once.
That is, .
(sets are typically wrapped in curly braces )

We can interact with a set by asking whether an element is in the set (with ), and asking how many (unique) elements are in the set ().

  • For example, let
  • ? True.
  • ? False.
  • .
  • .

There are also useful operations between sets

Some common (and useful) examples of (non-finite) sets:

  • the natural numbers
  • the integers
  • the