Si todos los términos canónicos representan elementos distintos, el conjunto de generadores es libre.