ブール領域のソースを表示

'''ブール領域'''（ブールりょういき）または'''ブーリアン領域'''（[[英語|英]]: ''Boolean domain''）は、「偽」と「真」（[[真理値]]ないし真偽値）に対応する2つの元のみから成る[[集合]]である。

[[数学]]では、[[束 (束論)|束]]の[[圏 (数学)|圏]]における[[始対象]]がブール領域である。記号としては {F, T} 等を当てることもあるが、真偽値から離れた議論では {0, 1} や {<math>\bot</math>, <math>\top</math>} 等を当てることもある。ブール領域は、二値[[ブール代数]]としての構造を持つ。[[位相幾何学]]における類似のオブジェクトとして、2つの元からなる[[位相空間]]である[[シェルピンスキー空間]]がある。

コンピュータ[[プログラミング言語]]には、これに相当する[[ブーリアン型]]があるものが多いが、C言語のように数値の0と1で代用している言語も多い。詳細は[[ブーリアン型]]の記事を参照。

== 関連項目 ==
* [[ブール値関数]]
* [[ブール論理]]

{{DEFAULTSORT:ふうるりよういき}}
[[Category:数理論理学]]
[[Category:ジョージ・ブール]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]