Pseudovarietät

Eine Klasse endlicher Algebren, die unter endlichen direkten Produkten, Teilalgebren und homomorphen Bildern abgeschlossen ist; üblicherweise in einer festen endlichen Signatur betrachtet und relevant für Fragen der Endlichkeitsmodelle und der Automatentheorie.

Eine Klasse endlicher Algebren (für eine feste Signatur), die unter endlichen direkten Produkten, Unteralgebren und homomorphen Bildern abgeschlossen ist; typischerweise im Kontext endlicher algebraischer Strukturen untersucht, wo infinitäre Abschlusseigenschaften nicht passend sind.