0
$\begingroup$

Definition: Suppose $X$ is a preorder. Define $x < y$ as $x \le y$ and $y \not\le x$ for each $x, y \in X$.

Question: Show that this gives a strict partial order on $X$.

  • 0
    @AsafKaragila I finished the 5 or 6 retags already. I apologize for not discussing it in meta first. I was not aware that was part of the protocol here. Thanks for pointing me in the right direction.2012-07-25

1 Answers 1

0

We must show that the relation $<$ is irreflexive and transitive.

Irreflexive: Suppose $x \in X$. Then $x \le x$, so $x \not< x$.

Transitive: Suppose $x, y, z \in X$ such that $x < y$ and $y < z$. Then $x \le y$, $y \not\le x$, $y \le z$, and $z \not\le y$. By the transitivity of $\le$, we immediately have $x \le z$. Now assume that $z \le x$. Then $z \le y$. This is a contradition.