Try to construct a recursive definition, in plain English, for the notion of ancestor by expanding the following stub:
An ancestor is either a Y or a U of a V.
Just try inserting appropriate words for Y, U and V. You can use the same word multiple times.
Last modified by Péter Szeredi, szeredi@cs.bme.hu, on 22-Feb-2022.