摘要

Let [n] = {1,2, ... , n} and B-n = {A : A subset of [n]}. A family A subset of B-n is a Sperner family if A not subset of B and B not subset of A for distinct A, B is an element of A. Sperner's theorem states that the density of the largest Sperner family in B-n is (n/n/2])/2(n). The objective of this note is to show that the same holds if B-n is replaced by compressed ideals over [n].

全文