Иерархическая структура

Множество, частично упорядоченное так, что существует ровно один элемент этого множества, не имеющий предшествующего, а все остальные элементы имеют ровно один предшествующий.