判断题 设*为非空集合上的二元运算，且对任意的有，则是中关于运算*的左幺元。( )