7 lines
9.5 KiB
Plaintext
7 lines
9.5 KiB
Plaintext
__@VERSION@__Exteor 4.7.10.1200 - 05/28/2019Служебный романϿКМ1ÿ ˿X1 ÿÿÿÿ Множество людейМножество людейÿÿÿÿÿÿÿÿÿÿÿÿ ˿S1 ÿࣿℬ(X1×X1)Множество пар прямых подчиненийМножество пар прямых подчинений Отношение прямого подчиненияОтношение прямого подчиненияÿÿÿÿÿÿÿÿÿÿÿÿ ˿S2 ÿࣿℬ(X1×X1)ᗿМножество пар парочекᗿМножество пар парочек Отношение "парочка"Отношение "парочка"ÿÿÿÿÿÿÿÿÿÿÿÿ ˿F1 ⫿Терм-функция создана из выражения терма D1[α1∈ℬ(X1×X1)] {ξ∈X1 | (ξ,ξ)∈α1}ÿÿ ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ˿D1 ⣿Терм создан из выражения терм-функции F1ۿF1[S2]ÿÿ ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ˿D2 ⣿Терм создан из выражения терм-функции F1ۿF1[S1]ÿÿ ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ˿A1 ÿD1=∅
|
||
Человек не подчинен самому себеЧеловек не подчинен самому себе ⿿Антирефлексивность отношения прямого подчинения⿿Антирефлексивность отношения прямого подчиненияÿÿÿÿÿÿÿÿÿÿÿÿ ˿A2 ÿӿD2=∅᧿Человек себе не "парочка"᧿Человек себе не "парочка" ⛿Антирефлексивность отношения "парочка"⛿Антирефлексивность отношения "парочка"ÿÿÿÿÿÿÿÿÿÿÿÿ ˿A3 ÿዿ∀(α,β)∈S2 (β,α)∈S2ⷿЧеловек является "парочкой" к своей "парочке"ⷿЧеловек является "парочкой" к своей "парочке" ⋿Симметричность отношения "парочка"⋿Симметричность отношения "парочка"ÿÿÿÿÿÿÿÿÿÿÿÿ ˿D3 ÿ߿Pr1(S1)ᗿМножество начальниковᗿМножество начальников ૿Начальники૿Начальникиÿÿÿÿÿÿÿÿÿÿÿÿ ˿D4 ÿ߿Pr2(S1)ᗿМножество подчиненныхᗿМножество подчиненных ПодчиненныеПодчиненныеÿÿÿÿÿÿÿÿÿÿÿÿ ˿D5 ÿD3∩D4㓿Люди, которые являются и начальниками и подчиненными㓿Люди, которые являются и начальниками и подчиненными Среднее звеноСреднее звеноÿÿÿÿÿÿÿÿÿÿÿÿ ˿D6 ÿD3\D4㻿Люди, которые являются начальниками и не являются подчиненными㻿Люди, которые являются начальниками и не являются подчиненными РуководствоРуководствоÿÿÿÿÿÿÿÿÿÿÿÿ ˿D7 ÿD4\D3㻿Люди, которые являются подчиненными и не являются начальниками㻿Люди, которые являются подчиненными и не являются начальниками ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ϿD11 ÿ䃿{ξ∈S2×S2| pr2(pr1(ξ)) = pr1(pr2(ξ)) & pr1(pr1(ξ)) ≠ pr2(pr2(ξ))}䇿Множество пар "парочек", в которых учасвтуют 3 различных человека䇿Множество пар "парочек", в которых учасвтуют 3 различных человека ᓿЛюбовный треугольникᓿЛюбовный треугольникÿÿÿÿÿÿÿÿÿÿÿÿ ˿D8 ÿS1∩S2㷿Пары начальник-подчиненный, находящиеся в отношении "парочка"㷿Пары начальник-подчиненный, находящиеся в отношении "парочка" ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ˿T1 ÿӿD8=∅䷿Отсутствие парочек, где один из партнеров является прямым подчиненным другого䷿Отсутствие парочек, где один из партнеров является прямым подчиненным другого ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ˿D9 ÿ쿿{ξ∈X1×X1×ℬ(S1) |
|
||
∀α∈pr3(ξ) ((pr1(ξ)=pr1(α) ∨ pr2(ξ)=pr2(α)
|
||
∨ ∃β∈pr3(ξ)(pr2(α)=pr1(β)))
|
||
& ∀γ∈pr3(ξ)((pr1(γ)=pr1(α))⇒γ=α))
|
||
& ∀ω ∈ Pr1(pr3(ξ)) \ Pr2(pr3(ξ)) ω=pr1(ξ)
|
||
& ∀ε ∈ Pr2(pr3(ξ)) \ Pr1(pr3(ξ)) ε=pr2(ξ)}ÿÿ ዿЦепочки подчиненияዿЦепочки подчиненияÿÿÿÿÿÿÿÿÿÿÿÿ ϿD12 ÿ㗿{ξ∈X1×X1 | ∃α∈D9 (pr1(α) = pr1(ξ) & pr2(α) = pr2(ξ))}䇿Множество пар людей, между которыми существует цепочка подчинения䇿Множество пар людей, между которыми существует цепочка подчинения ᗿОбобщенное подчинениеᗿОбобщенное подчинениеÿÿÿÿÿÿÿÿÿÿÿÿ ϿD10 ÿ㗿{ξ∈S2|∃α∈D9(pr1(ξ)∈Pr1(pr3(α)) & pr2(ξ)∈Pr2(pr3(α)))}替Множество пар, находящихся в обобщенном отношении подчинения и в романтических отношениях одновременно替Множество пар, находящихся в обобщенном отношении подчинения и в романтических отношениях одновременно ჿСлужебные романыჿСлужебные романыÿÿÿÿÿÿÿÿÿÿÿÿ ˿T2 ÿD10=∅Отсутствие служебных романовОтсутствие служебных романов ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ⇿Отношения в фирме "Синичкин и Ко" ā ँ Ā တ䀄㨄〄㐄㠄㤄 ᠀䄄〄㨄㸄㈄㠄䜄Ȅ ℆䈄㔄㼄〄㴄̄ ည㬄㔄㨄䄄〄㴄㐄䀄〄Є ለ㬄〄㐄㠄㰄㠄䀄Ԅ ဉ㴄〄䄄䈄〄䄄㠄伄 ᐅ㔄㴄㠄䄄܄ ᠄㈄〄㴄ࠄ ሇ〄䄄㠄㬄㠄㤄ऄ ᔇ㈄㌄㔄㴄㠄伄Ą Āਁ ̀ Ā Ȁ ̀ Ā ̀ ̀ Ā Ѐ ̀ Ā Ԁ ̀ Ȁ ܀ ̀ ̀ ࠀ ̀ Ѐ ܀ ̀ Ѐ ࠀ ̀ Ѐ ऀ ̀ Ԁ ऀ ā ̀ Āā ā܁ ā Āā ā Āᘁ က Ā Ȁ Ā Ā Ȁ က Ā ̀ Ā Ā ̀ က Ā Ѐ Ā Ā Ѐ က Ā Ԁ Ā Ā Ԁ က Ā ܀ Ȁ Ā Ȁ က Ā ܀ Ȁ Ȁ ܀ က Ā ܀ Ȁ Ā Ѐ က Ā ܀ Ȁ Ѐ ܀ က Ā ࠀ Ȁ Ā ̀ က Ā ࠀ Ȁ ̀ ࠀ က Ā ࠀ Ȁ Ā Ѐ က Ā ࠀ Ȁ Ѐ ࠀ က Ā ऀ Ȁ Ā Ѐ က Ā ऀ Ȁ Ѐ ऀ က Ā ऀ Ȁ Ā Ԁ က Ā ऀ Ȁ Ԁ ऀ က Ȁ ܀ Ā Ȁ ܀ က ̀ ࠀ Ā ̀ ࠀ က Ѐ ܀ Ā Ѐ ܀ က Ѐ ࠀ Ā Ѐ ࠀ က Ѐ ऀ Ā Ѐ ऀ က Ԁ ऀ Ā Ԁ ऀ āᄁ Āā ̀ Ā Ā ऀ āጀ Āԁ Ȁ Ԁ Ā Ȁ Ԁ Ȁ Ȁ Ԁ ̀ Ȁ Ԁ Ѐ Ȁ Ԁ Ԁ ā ᔀ ĀЁ Ȁ Ѐ Ȁ Ȁ Ѐ ̀ Ȁ Ѐ Ѐ Ȁ Ѐ Ԁ ā ᜀ Ā́ Ȁ ̀ ܀ Ȁ ̀ ࠀ Ȁ ̀ ऀ ā ᤀ Āā ̀ ā
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
Ā <00> |