Lignes canoniques : ce sont des lignes verticales  telles que 
   
   
   Domaines canoniques : ce sont des réunions de lignes canoniques. 
   
   Construction de bases de solutions cohérentes :