Значение фактор-алгебра | Babel Free

Определения

матем. упорядоченная пара 𝒜=⟨A/R,Ω^*⟩, где A/R — фактор-множество множества A по конгруэнции R и Ω^* — множество всех операций, ассоциированных с главными операциями алгебры 𝒜 посредством конгруэнции R

Примеры

“В свободных классах каждая алгебра есть фактор-алгебра свободной алгебры.”