1. A collection of distinct objects of any sort. The objects in the set are called its members or elements. An element can occur at most once in a set and order or arrangement is unimportant. If x is a member of the set S it is customary to write
If
x is not a member of
S this can be expressed as
and is equivalent to
i.e. ∈ and ∉ can be regarded as operators. When any element in set
S is also in set
T, and vice versa, the two sets are said to be
identical or
equal.
A finite set has a fixed finite number of members and a notation such as
is possible; the members are separated by commas and here are just the names of various programming languages. When the number of elements is not finite, the set is said to be
infinite and explicit enumeration of the elements is not then possible.
Infinite and finite sets can be described using a predicate or statement such as p(x) that involves x and is either true or false, thus
This is read as ‘the set of all elements
x for which
p(
x) is true’, the elements being characterized by the common property
p. Examples of sets described in this way are (letting
R be the set of real numbers):
There is an implicit assumption here that there is some algorithm for deciding whether
p(
x) is true or false in any particular case.
The idea of a set is fundamental to mathematics. It forms the basis for all ideas involving functions, relations, and indeed any kind of algebraic structure. Authors differ considerably in the way they define sets. A mathematical logician will distinguish carefully between classes and sets, basically to ensure that paradoxes such as Russell’s paradox cannot occur in sets. However, the informal definition is adequate for most purposes. See also operations on sets.
2. Any data structure representing a set of elements. One example is a characteristic vector.
3. To cause the condition or state of a switch, signal, or storage location to change to the positive condition.