Definition:Ordinal/Transfinite