Proposición.- Un conxunto U⊆X é aberto en X sse existe un conxunto V aberto en Rp tal que
U = V∩X.
Se E⊆X é un subespazo de X, da caracterización dada na proposición séguese que os abertos relativos en E son precisamente aqueles conxuntos U⊆E para os que existe un aberto V en X tal que U = V∩E.