順序の定義と似ていますが、異なるのは3番目の条件で、反対称律に代わり対称律となっています。「等しい」というような意味合いのことを言っていて、これが同値関係特有の性質なわけです。注意:対称律と推移律が成り立てば反射律も成り立つような気分になってしまう人もいるのですが、それは誤りです。した場合の推移律と合わせると、が言えます。これと反射律は同じものではありません。存在しない)場合が考えられるからです。実際、簡単な例で推移律、対称律を満たすが反射律を満たさないものを構成してみましょう。