Tämä sukupuu kuvaa erään majavasuvun jäseniä. Ylimpänä ovat suvun vanhimmat ja alimpana nuorimmat jäsenet.

Tässä tapauksessa Monika on Teemun ja Mian isoäiti.

Haluamme kirjoittaa tietokoneelle ohjelman, joka voi määrittää onko joku tietyn henkilön esivanhempi.

Lapsi määritettäisiin näin:

A onLapsiHenkilölle B.

Lapsenlapsi taas voitaisiin määrittää seuraavalla tavalla:

A onLapsenlapsiHenkilölle C = (A onLapsiHenkilölle B ja B onLapsiHenkilölle C).

Kuinka määrittäisit esivanhemman, joka tässä tapauksessa voisi olla vanhempi tai kuka tahansa muu ylenevässä polvessa?