序数加法

序数加法(addition of ordinals)是序数的一种运算，对任意序数α，β，γ，有：1.α+0=α；2.α+β+=(α+β)+；3.α+γ=sup{α+β|β<γ}，当γ是极限序数时。序数的加法可以定义如下：若α，β为序数，γ为极限序数。