Siempre que tengamos un producto de espacios topológicos "X" = Π"X", entonces las proyecciones naturales "p": "X" → "X" son abiertas (así como continuas).