ブール値関数

ブール値関数（ブールちかんすう、英: Boolean-valued function）は、述語や命題の一種の総称であり、f : X → B という形式の関数として表される。ここで、X は任意の集合であり、B はブール領域である。