那么就可以找到两个formula_1中的元素formula_51和formula_52，使得formula_53、formula_54，同时有formula_55，反之亦可推出formula_56，而这使得这两个集合所有的元素都相等。一个轨道的例子是陪集，假若formula_57是formula_1的一个子集，且定义formula_1中元素的惯常运算规则为formula_57在formula_1上的一个作用，那么formula_57的陪集formula_63(formula_64)就是formula_4