A property that passes from a topological space to every subspace with respect to the relative topology. Examples are first and second countability, metrizability, the separation axioms T_0, T_1, T_2, and T_3, and some of the related properties, such as the one of being a regular, completely regular, or Tychonoff space. Axiom T_4 is not hereditary, nor is normality, though counterexamples (such as the Tychonoff plank) are hard to find). It is much easier to find disconnected subspaces of connected subspaces (such as, for example, a union of two disjoint disks in the Euclidean plane; left figure) or non-compact subspaces of compact subspaces (e.g., an open disk inside a closed disk; right figure).

divisible property | productive property