Квазитождество

Условное тождество,- формулы логического языка 1-й ступени вида где через А 1,... , А р, А обозначены простейшие формулы вида а f, g,a1, ... , a т- термы от x1,... , х п, Р — сигнатурный предикатный символ. Квазитождествами определяются алгебраических систем квазимногообразия. Тождество — частный случай К. О. А. Иванова.