# Sets & Set Notation

Canonical: https://manyspace.aporia.systems/topics/sets-set-notation-mth-sets-094
Updated: 2026-10-13

Mathematics · Set Theory Foundations · MTH-SETS-094

- Difficulty: 2 / 5
- Importance: 4 / 5
- Study time: 1.5–3 h

roster and set-builder notation, subsets, universal set, empty set

## Why it matters

Sets are the universal building blocks of modern mathematics; relations and functions are defined through them.

## Where it is used

Database relations, probability sample spaces, data schemas, and the formal basis of analysis, algebra and topology.

## How you know you have learned it

Explain from memory in your own words + answer 2 transfer questions correctly.

## What you need first

- [Propositions & Connectives](https://manyspace.aporia.systems/topics/propositions-connectives-mth-logic-086) (required)

## What it opens

- [Direct Proof](https://manyspace.aporia.systems/topics/direct-proof-mth-proofs-104)
- [Proof by Contrapositive](https://manyspace.aporia.systems/topics/proof-by-contrapositive-mth-proofs-105)
- [Proof by Contradiction](https://manyspace.aporia.systems/topics/proof-by-contradiction-mth-proofs-106)
- [Mathematical Induction](https://manyspace.aporia.systems/topics/mathematical-induction-mth-proofs-107)
- [Strong Induction](https://manyspace.aporia.systems/topics/strong-induction-mth-proofs-108)
- [Existence & Uniqueness Proofs](https://manyspace.aporia.systems/topics/existence-uniqueness-proofs-mth-proofs-109)
- [Counterexamples & Disproof](https://manyspace.aporia.systems/topics/counterexamples-disproof-mth-proofs-110)
- [Proof Writing Craft](https://manyspace.aporia.systems/topics/proof-writing-craft-mth-proofs-111)
- [Topological Spaces](https://manyspace.aporia.systems/topics/topological-spaces-mth-topo-288)
- [Construction of the Reals](https://manyspace.aporia.systems/topics/construction-of-the-reals-mth-realan-244)
- [Sequences & Limits](https://manyspace.aporia.systems/topics/sequences-limits-mth-realan-245)
- [Cauchy Sequences & Completeness](https://manyspace.aporia.systems/topics/cauchy-sequences-completeness-mth-realan-246)
- [Series Convergence](https://manyspace.aporia.systems/topics/series-convergence-mth-realan-247)
- [Limits & Continuity](https://manyspace.aporia.systems/topics/limits-continuity-mth-realan-248)
- [Continuity Theorems](https://manyspace.aporia.systems/topics/continuity-theorems-mth-realan-249)
- [Differentiability](https://manyspace.aporia.systems/topics/differentiability-mth-realan-250)
- [Riemann Integral](https://manyspace.aporia.systems/topics/riemann-integral-mth-realan-251)
- [Sequences of Functions](https://manyspace.aporia.systems/topics/sequences-of-functions-mth-realan-252)
- [Metric Spaces](https://manyspace.aporia.systems/topics/metric-spaces-mth-realan-253)
- [Compactness in Metric Spaces](https://manyspace.aporia.systems/topics/compactness-in-metric-spaces-mth-realan-254)
- [Baire Category & Applications](https://manyspace.aporia.systems/topics/baire-category-applications-mth-realan-255)
- [Groups & Subgroups](https://manyspace.aporia.systems/topics/groups-subgroups-mth-absalg-256)
- [Cosets & Lagrange's Theorem](https://manyspace.aporia.systems/topics/cosets-lagrange-s-theorem-mth-absalg-257)
- [Homomorphisms & Isomorphism Theorems](https://manyspace.aporia.systems/topics/homomorphisms-isomorphism-theorems-mth-absalg-258)
- [Group Actions](https://manyspace.aporia.systems/topics/group-actions-mth-absalg-259)
- [Rings & Ideals](https://manyspace.aporia.systems/topics/rings-ideals-mth-absalg-260)
- [Polynomial Rings](https://manyspace.aporia.systems/topics/polynomial-rings-mth-absalg-261)
- [Unique Factorization Domains](https://manyspace.aporia.systems/topics/unique-factorization-domains-mth-absalg-262)
- [Field Extensions](https://manyspace.aporia.systems/topics/field-extensions-mth-absalg-263)
- [Finite Fields](https://manyspace.aporia.systems/topics/finite-fields-mth-absalg-264)
- [Galois Theory Intro](https://manyspace.aporia.systems/topics/galois-theory-intro-mth-absalg-265)
- [Continuous Functions & Homeomorphism](https://manyspace.aporia.systems/topics/continuous-functions-homeomorphism-mth-topo-289)
- [Separation Axioms](https://manyspace.aporia.systems/topics/separation-axioms-mth-topo-290)
- [Compactness](https://manyspace.aporia.systems/topics/compactness-mth-topo-291)
- [Connectedness](https://manyspace.aporia.systems/topics/connectedness-mth-topo-292)
- [Product & Quotient Spaces](https://manyspace.aporia.systems/topics/product-quotient-spaces-mth-topo-293)
- [Homotopy & Paths](https://manyspace.aporia.systems/topics/homotopy-paths-mth-topo-294)
- [Computing Fundamental Groups](https://manyspace.aporia.systems/topics/computing-fundamental-groups-mth-topo-295)
- [Categories & Functors](https://manyspace.aporia.systems/topics/categories-functors-mth-cat-369)
- [Natural Transformations](https://manyspace.aporia.systems/topics/natural-transformations-mth-cat-370)
- [Universal Properties & Representables](https://manyspace.aporia.systems/topics/universal-properties-representables-mth-cat-371)
- [Adjoint Functors](https://manyspace.aporia.systems/topics/adjoint-functors-mth-cat-372)
- [Monads & Algebras](https://manyspace.aporia.systems/topics/monads-algebras-mth-cat-373)

## Resources

- Set Theory and Logic (Stoll) — Robert Stoll