Il s'agit de discuter suivant les valeurs d'un paramètre donc, dans une première étape, on recherche pour quelles valeurs de la famille est libre ; puis, dans une deuxième étape, on examine, pour les valeurs trouvées, si la famille est génératrice.