同値関係

二項関係のうち、反射律、対称律、推移律の3つの性質を満たすものを同値関係という。

同値関係は \(\sim\) と書かれる。