Шпернеровы деревья

В бесконтурном орграфе отношение достижимости на множестве вершин является отношением порядка. Одним из интересных свойств для упорядоченного множества является его шпернеровость – наличие в нём антицепи максимальной длины, все элементы которой имеют одинаковую высоту. В графах с отношением достижимости это свойство обсуждается для выходящих и входящих деревьев, модифицируется и рассматривается для связанных с ними функциональных и контрафункциональных орграфов, для неориентированных деревьев.