Extremal set systems