Search results
Results from the WOW.Com Content Network
This article lists mathematical properties and laws of sets, involving the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations.
Euler diagram illustrating that the set of "animals with four legs" is a subset of "animals", but the set of "minerals" is a disjoint set (it has no members in common) with "animals" Euler diagram showing the relationships between different Solar System objects
Pocket set theory; Positive set theory; S (Boolos 1989) Scott–Potter set theory; Tarski–Grothendieck set theory; Von Neumann–Bernays–Gödel set theory; Zermelo–Fraenkel set theory; Zermelo set theory; Set (mathematics) Set-builder notation; Set-theoretic topology; Simple theorems in the algebra of sets; Subset; Θ (set theory) Tree ...
It is the algebra of the set-theoretic operations of union, intersection and complementation, and the relations of equality and inclusion. For a basic introduction to sets see the article on sets, for a fuller account see naive set theory, and for a full rigorous axiomatic treatment see axiomatic set theory.
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects.Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole.
As an example, "is less than" is a relation on the set of natural numbers; it holds, for instance, between the values 1 and 3 (denoted as 1 < 3), and likewise between 3 and 4 (denoted as 3 < 4), but not between the values 3 and 1 nor between 4 and 4, that is, 3 < 1 and 4 < 4 both evaluate to false.
Set-builder notation can be used to describe a set that is defined by a predicate, that is, a logical formula that evaluates to true for an element of the set, and false otherwise. [2] In this form, set-builder notation has three parts: a variable, a colon or vertical bar separator, and a predicate.
Every set is a projective object in Set (assuming the axiom of choice). The finitely presentable objects in Set are the finite sets. Since every set is a direct limit of its finite subsets, the category Set is a locally finitely presentable category. If C is an arbitrary category, the contravariant functors from C to Set are often an important ...