ブール関数
集合の反鎖（antichain, アンチチェイン、反チェイン）とは部分集合の族であって、どの相異なる2元も一方が他方を包含していないものを指す（これは（Sperner family）としても知られる）。今 "V" を "n" 個のブール型変数の組とするとき、"V" の反鎖 "A" は次のように単調ブール関数 "f" を定める：真であるような入力変数の集合が、"A" の元を部分集合として少なくとも1つ持っているとき、"f" の出力を真とする。そうでないとき偽とする。