A collection of objects, known as the elements of the set, specified in such a way that we can tell in principle whether or not a given object belongs to it.

E.g. the set of all prime numbers, the set of zeros of the cosine function.

For each set there is a predicate (or property) which is true for (posessed by) exectly those objects which are elements of the set.

The predicate may be defined by the set or vice versa.

Order and repetition of elements within the set are irrelevant so, for example, 1, 2, 3 = 3, 2, 1 = 1, 3, 1, 2, 2.

Some common set of numbers are given the following names: