La intersección de cualquier subcolección finita de conjuntos de "T" está en "T".