以前の記事で二項関係を定義したが、その中でも特別な性質を満たすものを同値関係とよぶ。この同値関係は自然数を元に整数などを定義する際に重要となるので、ここで定義してその性質に触れておく。