(específicamente: la unión de conjuntos abiertos es abierta, la intersección finita de conjuntos abiertos es abierta, y en particular el conjunto vacío y "X" mismo son abiertos.) Tal familia T de subconjuntos se llama una "topología" en "X", y se llama a los miembros de la familia los "conjuntos abiertos" del espacio topológico ("X", T).Un conjunto se llama "cerrado" si su complemento en X es abierto.