Por ejemplo, $$R = \{ (1,1),(1,2),(2,1),(2,2) \} \quad\text{for}\quad A = \{1,2,3\}.$$
Esta relación es simétrica y transitiva.
Entiendo que la relación es simétrica, pero mi cerebro no tiene un concepto claro de cómo esta es transitiva. En primer lugar, este es simétrica porque no es $(1,2) \to (2,1)$.
Sin embargo, para transitiva, no es$(1,1)$$(1,2)$, pero no hay un "otro" $(1,2)$ en la relación técnicamente o que $(1,2)$ implica la misma cosa? Así, por ejemplo, $(1,1)\land (1,2)\to (1,2)$? Es por este motivo no es transitiva?