Variedad (Álgebra Universal)

Una variedad en álgebra universal es una clase de álgebras de la misma firma cerrada bajo imágenes homomorfas (H), subalgebras (S) y productos directos arbitrarios (P); equivalentemente, una clase axiomatizable por un conjunto de identidades (ecuaciones).

Una clase de álgebras para una firma fija que es cerrada por imágenes homomorfas, subálgebras y productos directos arbitrarios; equivalente a la clase de todos los modelos que satisfacen un conjunto dado de identidades algebraicas (ecuaciones).