给定一有限集 A ,有一定义在 A 上的二元关系 R ,求能使 、……、 两两不相同的R 是否存在。 显然,存在这样的 R 使得题目要求满足。 我们不妨定义一个概念:简单环(记为 C ) 简单环定义如下: ,此时,最小的 T