Finit Präsentierte Algebra

Eine Algebra, die durch eine endliche Menge von Erzeugern zusammen mit einer endlichen Menge von definierenden Gleichungen (Relationen) zwischen diesen Erzeugern dargestellt werden kann; äquivalent ist sie ein Quotient einer freien Algebra auf endlich vielen Erzeugern durch eine Kongruenz, die von endlich vielen Termpaaren erzeugt wird.