An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$. My guess is that such relation does not exist, but I don't know how to prove it.
2026-03-28 23:16:39.1774739799
An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$
3k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
3
Define $$R = \{(m, n)\mid m, n\in \mathbb N \;\text{ and }\;m, n \text{ are both even}\}$$
Then, for every odd integer $t\in \mathbb N$, $(t, t)\notin R$, hence reflexivity fails. Recall that for reflexivity to hold, it must be the case that for every $n\in \mathbb N$, $(n, n) \in \mathbb N$. No exceptions.
However, it is easy to verify that $R$ is both symmetric and transitive.