Теория множеств - машины - диаграмма конечных воздействий

3.2.H Диаграмма конечных воздействий

Выражение 2G.2 выше (когда даны μ и I) верно для определенных пар <i, j>. Это, таким образом, определяет (существованием ¬Q) бинарное отношение Q в I ⨉ I. Ясно, что диаграмма конечных воздействий для Q является просто транзитивным замыканием Q ^T .