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 subespacio 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.