ブール領域

ブール領域（ブールりょういき）またはブーリアン領域（英: Boolean domain）は、「偽」と「真」（真理値ないし真偽値）に対応する2つの元のみから成る集合である。数学では、束の圏における始対象がブール領域である。