Ces trois propriétés sont les conséquences des deux constructions des paragraphes précédents. Ainsi, quelle que soit la manière dont on définit les générateurs de l'ensemble S, la structure finale est ...