Пусть G = (V, α) – ориентированный граф. Эквивалентность θ ⊆ V × V называется его сильно связной конгруэнцией, если факторграф G/θ – сильно связный. Описываются минимальные по включению сильно связные конгруэнции ориентированной цепи и подсчитывается их количество.
