已知下图是A的一个偏序集的哈斯图，则A的最大元是

若〈G, *〉是群，则该群满足

同类型的代数系统不具有的特征是

对于有理数集Q,定义运算*为a*b=a+b-ab,则〈Q,*〉的幺元为

在自然数集N上，下列定义的运算中不可交换的是

下列集合关于指定运算不能构成群的是

下列集合和给定的运算中，能构成环的是

设〈A,≤〉是一个有界格，若它也是有补格，只要满足