Showing a set is well-ordered

64 Views Asked by At

Let $(C,S)$ be a well-ordered set. Let $d \notin C$.

We define the set $D=C \cup \{d\}$ and the relation $S'=S\cup (C \times \{d\})$.

Show the set $(D,S')$ is well-ordered.

Any help would be much appreciated!

1

There are 1 best solutions below

0
On

HINT: This is one of those rare occasions that drawing the new order will help understanding, even to people [like me] that have hard times with drawing the situation. So the first thing is to draw the new order and understand where $d$ fits into the story.

Suppose that $A\subseteq D$ is non-empty. What happens if $A\cap C\neq\varnothing$? What happens if the intersection is empty? In either case, find a minimal element.