Un filtro se dice propio si no es igual a todo el conjunto formula_10 completo.