(mathematics) A multidimensional version of the Cantor set, formed by taking a finite Cartesian product of the Cantor set with itself.

plural of Cantor set

(mathematical analysis, topology) A subset of an interval formed by recursively removing an interval in the middle of every connected component of the set.

(set theory) A theorem in set theory which states for any set A, the set of all subsets of A (the power set of A, denoted by 𝒫(A)) has a strictly greater cardinality than A itself.

(set theory) A theorem which (in a simpler formulation) states that a closed uncountable set in Euclidean n-space is equal to the disjoint union of a perfect set and a countable set.