このような整礎帰納法(')は、エミー・ネーターにちなんでネーター帰納法(')とも呼ばれることがある。例.全順序でない整礎関係の例。整礎でない関係の例。その他の性質.反射関係の整礎性.整礎性の遺伝.整礎集合の定義でその集合の推移閉包に言及されているので、ある集合が整礎ならば、その集合の各元も整礎であり、各元のそのまた各元も整礎であり、そのまた各元も......と以下同様に続くことになる。これを、整礎集合は遺伝的整礎であるということがある。ギルバート・スチュアートギルバート・スチュワート順序型非公式な定義.正式な定義.特別な順序型.整列順序型と順序数.整列集合の順序型を特に整列順序型と呼ぶ。αを順序数とし∈αをα上の所属関係とすると、(α,∈α)は整列集合なのでtype(α,∈α)は整列順序型である。逆に、任意の整列集合は必ずある順序数αに対する(α,∈α)と同型なので、整列順序型は必ずある順序数αに対するtype(α,∈α)の形で表すことができる。以下ではtype(α,∈α)をαで表す。順序型の演算.順序型には和と積の演算を定義することができる。和.ρ,σを順序型とする。積.ρ,σを順序型とする。順序型の和と積について次が成り立つ:曹吉祥生涯.ぼくは叔父さん概要.出演.主題歌.「夢で会おうね」参考資料.テレビドラマデータベース石津幸恵来歴・人物.東京都生まれ。母親の石津寿恵は現在、明治大学経営学部会計学科教授。土浦日本大学高等学校へ進学するのと同時に、現住地である茨城県土浦市へ移住し現在に至る。プロ転向前.綿いっぱいの愛を!(アルバム)伝えたい事がこんなあるのに鳥取牛骨ラーメン鳥取牛骨ラーメン(読み:とっとりぎゅうこつらーめん)は、牛骨でスープの出汁を取る鳥取県中西部のご当地ラーメンである。概要.鳥取県中西部(境港市、米子市、琴浦町、北栄町、倉吉市、湯梨浜町、三朝町)に提供する店が集中しており、鳥取県東部では提供する店はごく少ない。特徴.