Legg merke til at mengden av foreldre er en delmengde av mengden av ikke-etterkommere fordi grafen er asyklisk.