Is this relation total?

74 Views Asked by At

It's not clear to me why this relation is not total:

$\{(x,y)|x=y\}$

The way I interpret this is, since x = y, it is always true that (x,y) or (y,x) is part of the relation. Doesn't this imply that the relation is total?

1

There are 1 best solutions below

2
On

This is not true. Suppose $x=2$ and $y=3$. Neither $(2,3)$ nor $(3,2)$ are members of the relation.