Una propiedad topológica se dice hereditaria si al ser válida para un espacio también lo es para sus subconjuntos, vistos como espacios topológicos dotados de la topología traza.