Математическая энциклопедия - квазитождество

условное тождество,формулы логического языка 1-й ступени вида

где через А 1,... , А р, А обозначены простейшие формулы вида

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

О. А. Иванова.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985