# Equivalence relations and classes

$T$ is defined on $\mathbb{N} \times \mathbb{N}$ by $(a,b)\mathrel{T}(c,d)$ if and only if $a \leq c$ and $b \leq d$.

I know this is a partial order relation as it is Transitive, Anti Symmetric and Reflexive but I'm not sure if its total order relation and whether they are well order relations?

• try compare $(1,2)$ and $(2,1)$. – Ofir Schnabel Apr 29 '15 at 8:12

It is not a total order: just compare $(1,0)$ and $(0,1)$. It is a well partial order, a result known as Dickson's lemma.