Description: The domain of a strictly monotone function is an ordinal. (Contributed by Andrew Salmon, 16-Nov-2011)