Topología inducida

Dado un subconjunto A de un espacio topológico X, se llama topología inducida a la topología definida en A que toma como abiertos a todos los conjuntos de la forma U Ç A, en donde U es un abierto de X. En estas condiciones, se dice que A es un subespacio de X.