490013148

Appears in sequences

• Dedekind numbers: inequivalent monotone Boolean functions of n or fewer variables, or antichains of subsets of an n-set.at n=7A003182