Termes de Jónsson

Une suite ou famille d'opérations terme dans une variété satisfaisant les identités de Jónsson qui caractérisent les variétés à treillis de congruences distributif ; leur existence impose des équations spécifiques qui entraînent la distributivité du treillis des congruences.