Jónsson-Terme
Definition
Eine Folge oder Familie von Termoperationen in einer Varietät, die Jónsson-Identitäten erfüllt und kongruenz-distributive Varietäten charakterisiert; ihre Existenz erzwingt bestimmte Gleichungen, die Distributivität im Kongruenzgitter zur Folge haben.