Tal filtro existe si y sólo si la intersección finita de subconjuntos de "T" es no vacía.