Q12 Matemática (IMO Shortlist 1979)
Seja um conjunto de exatamente elementos. Um conjunto de subconjuntos de é chamado de -família sobre se, e somente se, satisfizer as três condições a seguir: (i) Para não haver dois conjuntos em é ; (ii) Para quaisquer três conjuntos em , (iii)