したがって、すべての家系図が上記の性質を持つ。連結リストでの例.より形式的な例を挙げる。次のようなリストの性質を考える。整礎.標準的な数学的帰納法が整列原理に相当するように、構造的帰納法も整列原理に相当する。ある種の構造全体からなる集合が整礎な前順序を備えていたら、そのすべての空でない部分集合は極小元を持つ。(これは整礎関係の定義である。)いまの文脈においてこの性質が重要なのは、「証明しようとしている定理に反例があるなら、極小な反例が存在する」と推論できるからである。ここでさらに「極小な反例が存在するなら、より小さい反例がある」ことを示すことができれば、「極小な反例が極小でない」という矛盾が起こる。そして(背理法により)「反例の集合は空である」という結論が得られる。例.関連文献.埼玉県サッカー協会名前の由来.ゲルマニ氏.理念.概念無効。以下、オフィシャルサイトより抜粋。「このバンドが持つ理念は「概念無効」。この考えは、何人も束縛を避け、自分自身が物語の主人公となるような世界を、自由に紡いでほしい、あなたにとっての幸せを追い掛けて欲しいと言う想いに基づいています。理想論だと思う人もいるかも知れません。しかし、深く考える必要は無いのです。なぜなら、「概念無効」の世界では、すでにあなたは、自分の世界を自由に作り始めているのですから。」安田実秀安田実秀(やすださねひで)は、戦国時代の武将。上杉氏の家臣。越後国北蒲原郡白河庄の安田城主。略歴.安田氏は北越後の豪族・揚北衆の一つ。上杉謙信の家臣として著名な、安田城主・安田長秀(治部少輔)は、その活動から実秀の子であると比定されている。『安田町史』が引く「安田氏系譜」によると、長秀の先代当主は名を不明としている。大行進曲「大日本」大行進曲「大日本」(だいこうしんきょく「だいにっぽん」、TheGreatJapan)は斉藤丑松作曲の行進曲。概要.初演.逸話.この曲の作曲者である斉藤丑松は、楽想を練るために約一ヶ月もの間、皇居前にたたずんだという。梨谷駅浮島堂浮島堂(うきしまどう)は、静岡県掛川市にある仏堂。浮島観音堂(うきしまかんのんどう)とも呼ばれる。概要.伝承.