La topologie induite est une topologie définie sur toute partie Y d'un espace topologique X : c'est l'ensemble des traces sur Y des ouverts de X, autrement dit, l'ensemble des ouverts de Y (muni de la topologie induite) est : { O⋂Y | O ouvert de X }. On dit alors que Y est un sous-espace de X.