Usual order on the real numbers
The usual real order compares real values and supports finite nonempty extrema, closed intervals, and translation by a common addend.
atlas-order-relation · canonical_mko
Usual order on the real numbers
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data