the graph of the ancestry relation is a strict partial order