Lascia che sia una classe ereditaria di grafici. (Ereditaria = chiuso rispetto a prendere sottografici indotte.) Sia Q n denota l'insieme di n grafici -vertex in Q . Diciamo che Q contiene quasi tutti i grafici, se la frazione di tutti i grafici n -vertex che ricadono in Q n si avvicina a 1, come n → ∞ .
Domanda: è possibile che un grafico ereditario di classe contenga quasi tutti i grafici, ma per ogni n esiste almeno un grafico che non è in Q n ?