The Oxford Biblical Studies Online and Oxford Islamic Studies Online have retired. Content you previously purchased on Oxford Biblical Studies Online or Oxford Islamic Studies Online has now moved to Oxford Reference, Oxford Handbooks Online, Oxford Scholarship Online, or What Everyone Needs to Know®. For information on how to continue to view articles visit the subscriber services page.

Related Content

More Like This

Show all results sharing these subjects:

  • Science and technology
  • Mathematics and Computer Science


Show Summary Details



Quick Reference

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 xS if x is not a member of S this can be expressed as xS and is equivalent to NOT (xS) 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



NOT (xS)

{Ada, Pascal, Cobol, C}

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{x | p(x)} 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): {(x,y) | xR, yR and x + y = 9}{n | n is a prime number}{l | l is the name of a language}There is an implicit assumption here that there is some algorithm for deciding whether p(x) is true or false in any particular case.

{x | p(x)}

{(x,y) | xR, yR and x + y = 9}

{n | n is a prime number}

{l | l is the name of a language}

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.

Reference entries

View all reference entries »