给定集合S以及集合中的等价性条件,编程计算S符合等价性条件的等价类划分