Math 2.0

Mathematical logic and foundations Definition

Set

Builds on Element

Definition

A set is a collection of objects, called the elements of the set. For an object xx and a set AA, either xx is an element of AA, written x∈Ax \in A, or it is not, written x∉Ax \notin A. Two sets AA and BB are equal when they have the same elements: for each xx, x∈Ax \in A if and only if x∈Bx \in B. A finite set can be written by a list of its elements in braces, for example {1,2,3}\{1, 2, 3\}.

Remarks

The sets {1,2,3}\{1, 2, 3\}, {3,2,1}\{3, 2, 1\} and {1,1,2,3}\{1, 1, 2, 3\} are the same set. In Zermelo–Fraenkel set theory, "set" and "∈\in" are primitive notions, and the axioms say how they behave. Not every collection can be a set. Russell's paradox shows this.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Element definition
  2. Set definition

Where this leads

1076 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Set_(mathematics), lead section
About this page