On the union of well-founded relations
Show that the union of two well founded relations is not always well founded.
Solution
Look at
this file
.