设S为非空集，在S上定义一个二元运算“·”，若（S，·）满足以下两个条件：（1）对任意的a，b∈S，有a·b∈S；（2）对任意的a，b，c∈S，（a·b）·c=a·（b·c）恒成立，则......