順序数とは
「Xを順序集合全体とすると同値類{A'∈X;A〜A'}(但し,〜は順序同型の意味)はAの順序型と呼ばれる。
そしてAが整列集合の時,順序型{A'∈X;A〜A'}を順序数と言う。」
でいいでしょうか?