Extremal set theory