推移閉包
推移閉包
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/31 03:19 UTC 版)
集合Xの推移閉包はXを含む推移的集合の中で(包含関係の意味で)最小のもののことである。集合Xが与えられたとして、Xの推移閉包は ⋃ { X , ⋃ X , ⋃ ⋃ X , ⋃ ⋃ ⋃ X , ⋃ ⋃ ⋃ ⋃ X , . . . } . {\displaystyle \bigcup \{X,\bigcup X,\bigcup \bigcup X,\bigcup \bigcup \bigcup X,\bigcup \bigcup \bigcup \bigcup X,...\}.} である。つまり、これはX上の所属関係に関する推移閉包で関係づけられる全ての対象のによる集合である。
※この「推移閉包」の解説は、「推移的集合」の解説の一部です。
「推移閉包」を含む「推移的集合」の記事については、「推移的集合」の概要を参照ください。
ウィキペディア小見出し辞書の「推移閉包」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 推移閉包のページへのリンク
