整礎関係
整礎集合の定義でその集合の推移閉包に言及されているので、ある集合が整礎ならば、その集合の各元も整礎であり、各元のそのまた各元も整礎であり、そのまた各元も......と以下同様に続くことになる。これを、整礎集合は遺伝的整礎 (hereditarily well-founded) であるということがある。