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