二つの関係pとqがある。 pは推移的である。 qは推移的である上に対称的でもある。 あらゆるものはpかqで関係づけられるとする。 このとき、すべてがpで関係づけられているか、 すべてがqで関係づけられているかのいずれか(あるいは両方)である。