1. Reflexivität:
\(x\in O\Rightarrow f(x)=f(x)\), also \((x,x)\in T\)
2. Symmetrie:
\((x,y)\in T\Rightarrow f(x)=f(y)\Rightarrow f(y)=f(x)\Rightarrow (y,x)\in T\)
3. Transitivität:
\((x,y),(y,z)\in T\Rightarrow f(x)=f(y)\wedge f(y)=f(z)\)
\( \Rightarrow f(x)=f(z)\Rightarrow (x,z)\in T\)