7828353domain: NAppears in sequencesDedekind numbers: monotone Boolean functions, or nonempty antichains of subsets of an n-set.at n=6A014466