Looking for some help with this problem, Thanks ahead of time
. Given the relation defined on N XN by (a, b) "<" (c, d) iff b < d.
(a). Why is the relation well-founded?
(b). What are the minimal elements?
This relation is well-founded if there doesn't exist an infinite sequence ( ) such as
Assuming that it's not well-founded, this means that there will always be such as
If , it's a nonsense since there doesn't exist such an x.
Hence, the relation is well-founded...
Minimal elements will be any elements such as
This means that can be any element in
has to be the element such as ,
So logically, but I think there is a problem