Mise en place d'une methode dans operator permetant de verifier si il est possible d'avoir un resultat vrai avec l'ensemble de domaine