设S是至少含有两个元素的集合．在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．若对于任意的a，b∈S，有a*（b*a）=b，则对任意的a，b∈S，下列等式中不能成立的是（　　）

（2008•虹口区二模）设S是至少含有两个元素的集合．在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．若对任意的a，b∈S，有a*（b*a）=b，则对任意的a，b∈S，下列等式：①b*（b*b）=b   ②（a*b）*[b*（a*b）]=b   ③（a*b）*a=a中，恒成立的是（写出序号）

8、设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素与之对应）有a*（b*a）=b，则对任意的a，b∈S，下列等式中不恒成立的是（　　）

已知集合S={1，2，3，…，2011，2012}设A是S的至少含有两个元素的子集，对于A中的任意两个不同的元素x，y（x＞y），若x-y都不能整除x+y，则称集合A是S的“好子集”．
（Ⅰ）分别判断数集P={2，4，6，8}与Q={1，4，7}是否是集合S的“好子集”，并说明理由；
（Ⅱ）证明：若A是S的“好子集”，则对于A中的任意两个不同的元素x，y（x＞y），都有x-y≥3；
（Ⅲ） 求集合S的“好子集”A所含元素个数的最大值．

设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．已知对任意的a，b∈S，有a*（b*a）=b；则对任意的a，b∈S，给出下面四个等式：
（1）（a*b）*a=a  （2）[a*（b*a）]*（a*b）=a   （3）b*（a*b）=a  （4）（a*b）*[b*（a*b）]=b  
上面等式中恒成立的有（　　）