ブール関数
数学において、デデキント数（デデキントすう、）は急激に増大する整数列の一つで、1897年にこれを定義したリヒャルト・デーデキントにちなむ。デデキント数 "M"("n") は "n" 変数単調ブール関数の個数に等しい。等価的に、"n" 元集合のの個数、"n" 個の生成元から生成されるの元の個数でもあり、また "n" 元集合のの個数を表す。