Definition
The supremum of cardinalities of families of pairwise disjoint nonempty open sets in a topological space; equivalently, the largest size of a pairwise disjoint open family (also called the Suslin number or C(X)).
Principle
Principle
Measures how many mutually separated open regions the space can support simultaneously; it is a global cardinal invariant obtained by taking a supremum over disjoint open families.
Demonstration
Demonstration
In the real line R with the usual topology the cellularity is ℵ0 because any disjoint family of nonempty open intervals is countable; in the discrete space of cardinality κ the cellularity is κ since singletons are pairwise disjoint open sets.
Misapplication
Misapplication
Treating cellularity as a local invariant (e.g., attributing the same cellularity to every neighbourhood of a point) or confusing it with density or weight leads to wrong conclusions about separability or bases.
Consequence
Consequence
Knowing cellularity constrains constructions: a high cellularity prohibits certain covering or separation properties and influences cardinal bounds for other invariants (e.g., product theorems involve cellularity bounds).
Reversal
Reversal
The inverse notion would be restricting to families of open sets that must intersect each other (no two disjoint), which yields intersection-dominant behavior rather than separation capacity.
Boundary
Boundary
Applies to arbitrary topological spaces and concerns open sets only; it excludes closed-only families, and the invariant does not capture how the open sets are arranged beyond disjointness (e.g., it ignores size of closures or limits of accumulation).
Semantic Tension
Semantic Tension
Cellularity is easily confused with density (minimal size of a dense set) or spread (maximal size of discrete subspaces); each quantifies a different aspect of 'largeness' and they can differ dramatically on the same space.
Synthesis
Synthesis
Cellularity quantifies the maximal number of pairwise disjoint open regions a space can host; it is a global cardinal measure of separability capacity that complements other invariants like density and weight.