Отношения наподобие “родитель – ребенок” математики называют отношениями частичного порядка. Частичный порядок предполагает отношения предшествования или следования между некоторыми элементами множества, но не между всеми.