设*是集合上可结合的二元运算,且