Лучом называется фрагмент, который, во-первых, является альтом, а во-вторых, обладает тем свойством, что произвольная его вершина, отличная от начальной и выходной, имеет одного предка и одного потомка, каждый из которых принадлежит лучу. Иными словами, луч - это линейная последовательность вершин.
Легко видеть, что в состав лучей могут входить только деревянные дуги.
Нумерация # называется правильной, если она приписывает вершинам произвольного луча последовательные номера.
Если # - правильная нумерация, а R - максимальный луч, то можно доказать следующие утверждения:
Легко показать, что нумерации Pre и Post являются правильными.