|
2.6.K. Бифункциональные Бинарное отношение S бифункционально (по Riguet), если и только если для каждой пары e1 и e2 в E, S(e1) и S(e2) являются идентичными или не имеют пересечений, то есть для всех e1 и e2 в E и f1 и f2 в F: [f1 ∈ S(e1) и f1 ∈ S(e2) и f2 ∈ S(e1)] ⇒ [f2 ∈ S(e2)] то есть f2 ∈ S S-1 S(и) ⇒ [f2 ∈ S(e2)]; 6K.1 S бифункционально ⇔ S S-1 S ⊂ S. 6K.2 S бифункционально ⇔ S S-1 S = S (используя 5C.4). |
|
Перевод © 2011 Сергей Котов |
|
Теория множеств механизма и гомеостаза |