User blog comment:Googleaarex/Unlimitable Ordinals/@comment-25418284-20130903033807/@comment-1605058-20130903055436

I don't think there is any formal definition. Just my opinion though.