Definition:Ordinal One