Без заголовка

отношение частичного порядка позволяет строить древовидные иерархии