Se agregaron teoremas y definiciones sobre topologias.