Definition:Hereditary Property (Topology)

Definition

Let $\xi$ be a property whose domain is the set of all topological spaces.

Then $\xi$ is a hereditary property if and only if:

$\map \xi X \implies \map \xi Y$

where $Y$ is a subspace of $X$.

That is, whenever a topological space has $\xi$, then so does any subspace.

Also see

• Definition:Weakly Hereditary Property

Sources

• 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text I$: Basic Definitions: Section $1$: General Introduction
• 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): hereditary: 3. (of a topological property)
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): hereditary property