Definition:Hereditary Property (Topology)

From ProofWiki
Jump to navigation Jump to search


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