Primary
Partition ○꠹｜Definition｜1st｜20260207190909-00-⌔
Partition of a set - Wikipedia
Partition of a set
In mathematics, a partition of a set is a grouping of its elements into non-empty subsets, in such a way that every element is included in exactly one subset.
Every equivalence relation on a set defines a partition of this set, and every partition defines an equivalence relation. A set equipped with an equivalence relation or a partition is sometimes called a setoid, typically in type theory and proof theory.
Printed 2026-06-28.
(echo:: @ ᯤ)
Link to original
Secondary
• • •