Set theory
Set theory studies collections of objects and gives mathematics a precise language for membership, comparison, infinity, and structure.
What set theory studies
Set theory is the mathematical study of collections. A set may contain numbers, points, symbols, people, or even other sets. The subject begins with simple questions about membership, but it quickly becomes a foundation for defining functions, relations, numbers, spaces, and many other mathematical objects.
Elements and membership
The statement that an object is an element of a set is one of the basic sentences of set theory. If 3 belongs to the set of odd numbers, membership records that relationship. Sets do not usually care about order or repeated listing: the set containing 1, 2, and 3 is the same collection no matter how those elements are written.
Subsets and operations
A set is a subset of another set when all of its elements are included in the larger set. Common operations build new sets from old ones. The union gathers everything in either set, the intersection keeps only elements shared by both, and the difference keeps elements that appear in one set but not the other.
Functions and relations
Set theory gives functions and relations a precise home. A relation can be treated as a set of ordered pairs, and a function is a special kind of relation that assigns each input exactly one output. This view lets mathematicians talk about mappings between sets without depending on a particular formula or picture.
Cardinality and infinity
Cardinality measures the size of a set. For finite sets this is ordinary counting, but infinite sets make the idea surprising. The natural numbers and even numbers have the same cardinality because they can be matched one-to-one. Other infinite sets, such as the real numbers, are larger in a precise mathematical sense.
Axioms and foundations
Modern set theory is usually developed through axioms, rules that describe how sets may be formed and compared. Axiomatic systems such as Zermelo-Fraenkel set theory with the axiom of choice are designed to avoid paradoxes that arise from overly unrestricted collections, while still supporting ordinary mathematics.
Set theory in other fields
Set language appears across mathematics and computing. Topology uses collections of open sets, probability assigns measures to events, databases organize records and queries through set-like operations, and formal logic uses sets to interpret structures. Even when the symbols disappear, the idea of a collection often remains underneath.
Why it matters
Set theory matters because it gives mathematics a shared grammar. It can describe concrete collections and also handle abstract ideas such as infinity, functions, and spaces. That combination makes it both a practical notation system and a deep research area about what mathematical objects are allowed to exist.