3 ms·$<$ gives an ordering over the reals. It's an ordering with a first element that's the tricky bit.by wizzwizz4 5y ago$<$ gives an ordering over the reals. It's an ordering with a first element that's the tricky bit.