2.6.L. Цикличные

Бинарное отношение R циклично, если для каждой пары ˂x, y˃ такой, что y ∈ R(x), является истинным, что x ∈ R^T(y); то есть ˂x, y˃ ∈ R ⇒ ˂x, y˃ ∈ (R^T)^-1.

6L.1  R циклично ⇔ R ⊂ (R^T)^-1.

Цикличное содержание  Å  бинарного отношения A определено

6L.2  Å = ∪ (R ⊂ A, R циклично) R.

Цикличное содержание отображения является множеством состояний в их бассейнах; это множество состояний, в котором каждое состояние в своей области может быть получено непрерывным повторением отображения.

Перевод © 2011 Сергей Котов

Теория множеств механизма и гомеостаза