ブール領域
提供: miniwiki
ブール領域（ブールりょういき）またはブーリアン領域（英: Boolean domain）は、「偽」と「真」（真理値ないし真偽値）に対応する2つの元のみから成る集合である。
数学では、束の圏における始対象がブール領域である。記号としては {F, T} 等を当てることもあるが、真偽値から離れた議論では {0, 1} や {[math]\bot[/math], [math]\top[/math]} 等を当てることもある。ブール領域は、二値ブール代数としての構造を持つ。位相幾何学における類似のオブジェクトとして、2つの元からなる位相空間であるシェルピンスキー空間がある。
コンピュータプログラミング言語には、これに相当するブーリアン型があるものが多いが、C言語のように数値の0と1で代用している言語も多い。詳細はブーリアン型の記事を参照。