设*为集合A上的二元运算，若A中一个元素e，它既是______，又是______，则称e是A中关于*的幺元。