Given is relation $R=\left\{(a,b) \in S \times S: a+b \text{ is an even number }\right\}$ over the set $S=\mathbb{N}$. Is this relation antisymmetric, connex? Justify your decision.
A relation is antisymmetric if $\forall x,y \in A: xRy \wedge yRx \Rightarrow x=y$
A relation is connex, if $\forall x,y \in A: (x,y) \in R \vee (y,x) \in R $ or $x=y$
The sum of two numbers is even if and only if both summands are even or both summands are odd.
antisymmetric: If we have $aRb$, then both summands are either even or odd, same applies for $bRa$. Buth now the implication says $x=y$, so we might end up with an odd number which means that this relation is not antisymmetric.
connex: If we concentrate at the 3th condition of connexivity, i.e. $x=y$, then we will end up with an even number because both summands will either be even or uneven and thus the sum will be even. So the relation is connex.
This task was confusing me a lot.. I'm pretty sure that this relation is reflexive, symmetric and transitive but I'm not sure about these two properties. Did I do it correctly?
The addition is commutative. So, $(2,4)\in R$ and $(4,2)\in R$. Then $R$ is not antisymmetric.
The second condition: $(2,3)\not\in R$ and $(3,2)\not\in R$ and $2\ne 3$. The relation is not connex.