упорядоченная пара <math>\mathcal A = \left \langle A/R, \Omega^* \right \rangle</math>, где <math>A/R</math> — фактор-множество множества <math>A</math> по конгруэнции <math>R</math> и <math>\Omega^*</math> — множество всех операций, ассоциированных с главными операциями алгебры <math>\mathcal A</math> посредством конгруэнции <math>R</math>.
ru (матем.)
В свободных классах каждая алгебра есть фактор-алгебра свободной алгебры.