En particular, la intersección de todas las topologías en "X" que contiene a "S" satisface esta condición.