Talk:Exists Integer Below Any Real Number

The order-theoretic term for this property (dual to the familiar set-theoretic notion of a cofinal set) is coinitial. In this sense, the page title could be Integers Coinitial in Real Numbers. But we'd need to write Definition:Coinitial first, of course. — Lord_Farin (talk) 13:10, 6 October 2013 (UTC)