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