User blog comment:Nayuta Ito/A simple way to compare ordinals/@comment-5150073-20150331135855/@comment-1605058-20150331161351

How is it defined for functions and finite numbers?