上記の定義は整列集合の濃度のみに対してなされる。