text: Пусть X {\displaystyle X} и Y {\displaystyle Y} — множества, f : X → Y {\displaystyle f\colon X\to Y} — отображение, тогда бинарное отношение x ∼ y {\displaystyle x\sim y} , определённое правилом x ∼ y ⟺ f ( x ) = f ( y ) , x , y ∈ X {\displaystyle x\sim y\iff f(x)=f(y),\quad x,y\in X} , является отношением эквивалентности на X {\displaystyle X} .