Is a relation on which every element is related with itself alone transitive?

239 Views Asked by At

For example,

if A = {1,2,3} and R = {(1,1),(2,2),(3,3)}

is R transitive? If so, then would it be an order relation?

Thanks in advance

2

There are 2 best solutions below

6
On BEST ANSWER

Of course it's transitive; we usually call it "equality". And yes, it is also an order relation.

0
On

The proof for transitivity is simple:
Let $a,b,c \in A$ and assume that $aRb$ and $bRc$. By definition of $R$, this implies $a=b$ and $b=c$, which implies $a=c$, thus $aRc$, so $R$ is transitive.

Proving antisymmetry and reflexivity is similiar, just remember that $aRb$ iff $a=b$, and substitute that in the definitions.