Cuasivariedad

Una clase de álgebras axiomatizable por un conjunto de oraciones Horn universales; equivalentemente, una clase cerrada bajo toma de subálgebras, productos directos y ultraproductos (y que contiene el álgebra trivial cuando corresponde).

Una clase de álgebras axiomatizable por oraciones universales Horn (cuasi‑identidades); equivalente a una clase cerrada por subálgebras, productos directos y ultraproductos (y por isomorfismos), pero no necesariamente por imágenes homomorfas.