Википедия
Квазимногообразие в универсальной алгебре — класс алгебраических систем фиксированной сигнатуры , аксиоматизируемый набором квазитождеств ( хорновскими дизъюнктами ).
В отличие от многообразий — классов алгебраических систем, аксиоматизируемых тождествами — особую роль в теории квазимногообразий играют теоретико-модельные методы, тогда как многообразия в основном рассматриваются для алгебр и изучаются общеалгебраическими методами.