【离散数学】商代数

相关资料来源于网络，侵删歉。
如果文章中存在错误，请下方评论告知我，谢谢！

---

商代数

设A=是一个代数系统，~是A上的同余关系，A关于~的商代数A/~=。其中Δ’[a]=[Δa]   [a]*’[b]=[a*b]
注意：
S/~是集合的集合，即等价类的集合，形如：{[a], [b], …}
*’, Δ’是集合之间的运算
[k]是代数常元的集合