交换可剩余幺半群的极大元与分支
교환가잉여요반군적겁대원여분지
Maximal Elements and Branches of the Commutative Residual Monoids