$<$ gives an ordering over the reals. It's an ordering with a first element that's the tricky bit.