整礎性の遺伝
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/14 21:22 UTC 版)
整礎集合の定義でその集合の推移閉包に言及されているので、ある集合が整礎ならば、その集合の各元も整礎であり、各元のそのまた各元も整礎であり、そのまた各元も……と以下同様に続くことになる。これを、整礎集合は遺伝的整礎 (hereditarily well-founded) であるということがある。
※この「整礎性の遺伝」の解説は、「整礎関係」の解説の一部です。
「整礎性の遺伝」を含む「整礎関係」の記事については、「整礎関係」の概要を参照ください。
- 整礎性の遺伝のページへのリンク