计算题 证明：含幺半群的可逆元素集合构成一个子半群，即〈inv（S），*〉为半群〈S，*〉的子半群．

设A={a，b，c}，问代数系统，〈{，A}，∪，∩〉和〈{{a，b}，A}，∪，∩〉是否同构． 点击查看答案

设f：N→{0，1}定义如下： 证明：f为代数结构〈N，·〉到〈{0，1}，·〉的同态．它是单一同态，满同态吗？ 点击查看答案