A well-order has a least element in all non-empty subsets, and 1 > 1⁄2 > 1⁄4 > … > 0 has a non-empty subset without a least element, so it’s not a well-order.
Yes, you’re right.
A well-order has a least element in all non-empty subsets, and 1 > 1⁄2 > 1⁄4 > … > 0 has a non-empty subset without a least element, so it’s not a well-order.
Yes, you’re right.