Los conjuntos que satisfacen el criterio de puerta trasera son llamados "suficientes" o "admisibles".