The spread S(X) of a topological space X is the supremum of the cardinalities of discrete subspaces of X; that is, the largest size of a subset of X endowed with the subspace topology that is discrete (points isolated in the subspace).

Principle

Spread captures how large a discrete configuration can be inside the space; it organizes the maximal discrete 'width' the topology permits.

Demonstration

A discrete space of cardinality κ has S(X)=κ. In many separable metric spaces S(X)=ℵ0 because every discrete subspace is at most countable; for example, R^n has spread ℵ0.

Misapplication

Confusing spread with density (which measures minimal dense subsets) or extent (which requires closed discrete sets) leads to misstatements; counting arbitrary separated sets without the discrete-subspace topology condition is incorrect.

Consequence

Knowing S(X) bounds how large independent or isolated configurations can be and influences combinatorial constructions, embeddings, and cardinal-function inequalities involving other invariants.

Reversal

The dual notion considers how small a maximal discrete subspace can be or considers closed-discrete constraints; replacing 'supremum over discrete subspaces' by 'infimum' yields fundamentally different, often trivial, invariants.

Boundary

Applies to arbitrary topological spaces and concerns discrete subspaces; it excludes considerations that require discreteness to be closed (those belong to extent) or global density properties.

Semantic Tension

Semantic tension arises with density, cellularity, and extent: density measures minimal size of dense sets, cellularity measures largest family of pairwise disjoint nonempty opens, while spread focuses on discrete subspaces—nearby but distinct notions.

Synthesis

Spread S(X) is the supremal cardinality of discrete subspaces of X; it quantifies the maximal possible size of subsets that are discrete in the subspace topology and thus gauges the space's capacity to host isolated points en masse.