dowód z m. dyskretnej (relacje)

[qaz]

Udowodnić:

\(\displaystyle{ r Rel(a) r dom r im r}\)

gdzie
\(\displaystyle{ Rel(a)}\) - relacja dwuargumentowa w zbiorze \(\displaystyle{ a}\)
\(\displaystyle{ dom r}\) - dziedzina relacji
\(\displaystyle{ im r}\) - obraz relacji