Definition talk:Floor Function/Definition 2

From ProofWiki
Jump to navigation Jump to search

Proposed merging

The supremum of a set of real numbers and the greatest element of a set of integers are quite different things. The equivalence of defs 1 and 2 is technical and subtle. Moreover, readers may not even know about the supremum and get lost by reading the definition. --barto (talk) (contribs) 05:59, 25 February 2018 (EST)