Dada uma função f, a relação R (xf=yf) é relação de equivalência

3. Dada uma função , a relação é relação de equivalência
...

O que queremos provar

Que a relação é reflexiva, simétrica e transitiva.

Mnemónica: RST

Prova directa
...

Reflexiva:
Simétrica:
Transitiva:

Logo é relação de equivalência.