ブール関数
ブール関数を一般化すると、"f" : "X" → B という形式の関数において、"X" が任意の集合である場合を「ブール値関数」と呼ぶ。"X" = M = {1, 2, 3, …} であるとき、"f" は無限の「二値数列; 」すなわち 0 と 1 の無限列である。"X" = ["k"] = {1, 2, 3, …, "k"} であるとき、"f" は長さ "k" の二値数列である。そのような関数は formula_2 個存在する。これは計算複雑性理論における問題で基本的な役割を果たす。