We are looking for the largest family of subsets of an -element set satifying certain conditions. See e.g. the theorems of Sperner and Erdős-Ko-Rado.