2つの集合AとBが互いに素であるとは、それらの共通部分が空集合であること、すなわち、A∩B=∅{\displaystyleA\capB=\varnothing}であることを意味する。
因此aH和bH只有两种关系：相等，或交集为空，即aH=bH{\displaystyleaH=bH}或者aH∩bH=∅{\displaystyleaH\capbH=\varnothing}。