rodziny atas: Znaleźć nieskończoną rodzinę X podzbiorów ℕ taką, że ∩X = ∅ oraz ∩Y ≠ ∅ dla dowolnej właściwej podrodziny Y rodziny X .

Adamm: X = {{n}^c : n in N}