Exteor/test/Data/FileVers/trs/r1438.trs

෿__@VERSION@__᷿Exteor 4.5 R1438 - 08/04/2016໿Друзья и враги˿КСÿWW˿X1ÿ
ÿ
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ࿿Множество людей࿿Множество людей˿C1⓿Конституента из Exteor_Rev600 и ниже䟿{α∈X₁×ℬ(X₁)|((β∈pr₂(α))⇒((pr₁(α),β)∈S₀))&(¬(γ∈pr₂(α))⇒(¬(pr₁(α),γ)∈S₉)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ᛿ТЕРМ-ФУНКЦИЯ TF1(i=₉) ᛿ТЕРМ-ФУНКЦИЯ TF1(i=₉) 
˿C2⓿Конституента из Exteor_Rev600 и ниже⏿{α∈X₁|(d∈S₉)&(pr₁(d)=x)⇒(pr₂(d)=∅)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿ТЕРМ-ФУНКЦИЯ TF2(i=₉)  ៿ТЕРМ-ФУНКЦИЯ TF2(i=₉)  ˿C3⓿Конституента из Exteor_Rev600 и ниже꯿{α∈X₁×ℬ(X₁)|((β₁∈D₉)&(β₂∈D₈)&(pr₁(β₂)∈pr₂(β₁))&(pr₁(β₁)=pr₁(α))&(γ∈pr₂(β₂))⇒(γ∈pr₂(α))&((¬(γ'∈pr₂(α))&(β'₁∈D₉)&(β'₂∈D₈)&(pr₁(β'₂)∈pr₂(β'₁)&(pr₁(β₁)=pr₁(α))⇒¬(γ'∈pr₂(β'₂))}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ㟿ТЕРМ-ФУНКЦИЯ TF3(i=₉, j=₈) Отношение через других людей㟿ТЕРМ-ФУНКЦИЯ TF3(i=₉, j=₈) Отношение через других людей˿C4⓿Конституента из Exteor_Rev600 и нижеヿ{α∈X₁×ℬ(X₁)|(α∈D₉)&((β∈pr₂(α))⇒((pr₁(α),β)∈S₈))}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䗿ТЕРМ-ФУНКЦИЯ TF4(i=₉, j=₈) Конкретизация отношения через других людей䗿ТЕРМ-ФУНКЦИЯ TF4(i=₉, j=₈) Конкретизация отношения через других людей˿C5⓿Конституента из Exteor_Rev600 и ниже䷿{α∈ℬ(X₁)×ℬ(X₁)|(pr₁(α)∈D₉)&(pr₂(α)∈D₈)&(β₁∈pr₁(α))&(β₂∈pr₂(α))⇒((β₁,β₂)∈D₁₃)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⯿ТЕРМ-ФУНКЦИЯ TF5(i=₉,j=₈) Враждебные группы⯿ТЕРМ-ФУНКЦИЯ TF5(i=₉,j=₈) Враждебные группы˿H1⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H2⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H3⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿S1⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Отношение "быть другом"៿Отношение "быть другом"	˿S2⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ᳿Отношение: человек, его враг᳿Отношение: человек, его враг
˿A1⓿Конституента из Exteor_Rev600 и нижеዿ(x∈X₁)⇒¬((x,x)∈S₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⛿Человек не является другом самому себе⛿Человек не является другом самому себе˿A2⓿Конституента из Exteor_Rev600 и ниже᯿(d∈S₁)⇒((pr₂(d),pr₁(d))∈S₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ◿Отношение "быть друзьями" симметрично◿Отношение "быть друзьями" симметрично˿A3⓿Конституента из Exteor_Rev600 и ниже៿(d∈S₂)⇒¬(pr₁(d)=pr₁(d))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⃿Человек не является своим врагом⃿Человек не является своим врагом
˿D1⓿Конституента из Exteor_Rev600 и ниже㛿{α∈ℬ(X₁)|(β∈ℬ(α))&¬(β=∅)⇒¬((γ∈β)&(φ∈α\β)&¬((γ,φ)∈S₁))}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ෿Группы друзей෿Группы друзей˿D2⓿Конституента из Exteor_Rev600 и ниже◿{α∈X₁×X₁|(α∈S₂)&((pr₂(α),pr₁(α))∈S₂)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿᓿПары взаимных враговᓿПары взаимных врагов˿D3⓿Конституента из Exteor_Rev600 и ниже㷿{α∈ℬ(X₁)|(β₁∈α)&(β₂∈α)&¬(β₁=β₂)⇒¬(((β₁,β₂)∈S₂))∨((β₂,β₁)∈S₂))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ࿿Группы неврагов࿿Группы неврагов˿H4⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H5⓿Конституента из Exteor_Rev600 и ниже׿ℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H6⓿Конституента из Exteor_Rev600 и ниже׿ℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H7⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H8⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ˿H9⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH10⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH11⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH12⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH13⓿Конституента из Exteor_Rev600 и ниже׿ℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH14⓿Конституента из Exteor_Rev600 и ниже׿ℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH15⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH16⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH17⓿Конституента из Exteor_Rev600 и нижеᇿℬ(X₁×ℬ(X₁)×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH18⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿϿH19⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ ϿH20⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ!ϿH21⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ"ϿH22⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ#ϿH23⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ$ϿH24⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ%ϿH25⓿Конституента из Exteor_Rev600 и ниже௿ℬ(X₁×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ&ϿH26⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ'ϿH27⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ(ϿH28⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ)ϿH29⓿Конституента из Exteor_Rev600 и нижеࣿℬ(X₁×X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ*ϿH30⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ+ϿH31⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ,ϿH32⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ-ϿH33⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ.ϿH34⓿Конституента из Exteor_Rev600 и нижеۿℬℬ(X₁)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ/ϿH35⓿Конституента из Exteor_Rev600 и ниже໿ℬ(ℬ(X₁)×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ0ϿH36⓿Конституента из Exteor_Rev600 и ниже໿ℬ(ℬ(X₁)×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ1ϿH37⓿Конституента из Exteor_Rev600 и ниже໿ℬ(ℬ(X₁)×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ2ϿH38⓿Конституента из Exteor_Rev600 и ниже໿ℬ(ℬ(X₁)×ℬ(X₁))
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ3˿D4⓿Конституента из Exteor_Rev600 и нижеۿTF₁(1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⋿Множество пар: человек, его друзья⋿Множество пар: человек, его друзья4˿D5⓿Конституента из Exteor_Rev600 и нижеۿTF₂(1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Люди, не имеющие друзей៿Люди, не имеющие друзей5˿D6⓿Конституента из Exteor_Rev600 и ниже׿X₁\D₅
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿᓿЛюди, имеющие друзейᓿЛюди, имеющие друзей6˿D7⓿Конституента из Exteor_Rev600 и нижеヿ{α∈ℬ(X₁)|(α∈D₁)&(β∈α)&(γ∈X₁)&¬(γ∈α)⇒¬((β,γ)∈S₁)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Замкнутые группы друзей៿Замкнутые группы друзей7˿D8⓿Конституента из Exteor_Rev600 и ниже⻿{α∈ℬ(X₁)|(α∈D₁)&(β∈α)&(γ∈α)&¬(β=γ)⇒((β,γ)∈S₁)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿỿГруппы друзей с полной дружбойỿГруппы друзей с полной дружбой8˿D9⓿Конституента из Exteor_Rev600 и ниже׿D₇∩D₈
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⣿Замкнутые группы друзей с полной дружбой⣿Замкнутые группы друзей с полной дружбой9ϿD10⓿Конституента из Exteor_Rev600 и нижеࣿTF₃(1,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⧿Множество пар: человек, друзья его друзей⧿Множество пар: человек, друзья его друзей:ϿD11⓿Конституента из Exteor_Rev600 и нижеࣿTF₄(8,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䋿Множество пар: человек, друзья его друзей, являющиеся его друзьями䋿Множество пар: человек, друзья его друзей, являющиеся его друзьями;ϿD12⓿Конституента из Exteor_Rev600 и нижеۿTF₁(2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⇿Множество пар: человек, его враги⇿Множество пар: человек, его враги<ϿD13⓿Конституента из Exteor_Rev600 и нижеۿTF₂(2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Люди, не имеющие врагов៿Люди, не имеющие врагов=ϿD14⓿Конституента из Exteor_Rev600 и нижеۿX₁\D₁₃
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿᓿЛюди, имеющие враговᓿЛюди, имеющие врагов>ϿD15⓿Конституента из Exteor_Rev600 и ниже૿TF₃(10,10)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⣿Множество пар: человек, враги его врагов⣿Множество пар: человек, враги его врагов?ϿD16⓿Конституента из Exteor_Rev600 и ниже৿TF₄(14,2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䃿Множество пар: человек, враги его врагов, являющиеся его врагами䃿Множество пар: человек, враги его врагов, являющиеся его врагами@ϿD17⓿Конституента из Exteor_Rev600 и ниже⿿{α∈X₁×ℬ(X₁)×ℬ(X₁)|(pr₁ё₂(α)∈D₁)&(pr₁ё₃(α)∈D₁₂)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⿿Множество троек: человек, его друзья, его враги⿿Множество троек: человек, его друзья, его врагиAϿD18⓿Конституента из Exteor_Rev600 и ниже৿TF₃(10,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⧿Множество пар: человек, друзья его врагов⧿Множество пар: человек, друзья его враговBϿD19⓿Конституента из Exteor_Rev600 и ниже৿TF₃(1,10)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⣿Множество пар: человек, враги его друзей⣿Множество пар: человек, враги его друзейCϿD20⓿Конституента из Exteor_Rev600 и нижеࣿTF₄(8,2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䇿Множество пар: человек, друзья его друзей, являющиеся его врагами䇿Множество пар: человек, друзья его друзей, являющиеся его врагамиDϿD21⓿Конституента из Exteor_Rev600 и ниже৿TF₄(14,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䇿Множество пар: человек, враги его врагов, являющиеся его друзьями䇿Множество пар: человек, враги его врагов, являющиеся его друзьямиEϿD22⓿Конституента из Exteor_Rev600 и ниже৿TF₄(17,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䋿Множество пар: человек, друзья его врагов, являющиеся его друзьями䋿Множество пар: человек, друзья его врагов, являющиеся его друзьямиFϿD23⓿Конституента из Exteor_Rev600 и ниже৿TF₄(17,2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䇿Множество пар: человек, друзья его врагов, являющиеся его врагами䇿Множество пар: человек, друзья его врагов, являющиеся его врагамиGϿD24⓿Конституента из Exteor_Rev600 и ниже৿TF₄(18,1)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䇿Множество пар: человек, враги его друзей, являющиеся его друзьями䇿Множество пар: человек, враги его друзей, являющиеся его друзьямиHϿD25⓿Конституента из Exteor_Rev600 и ниже৿TF₄(18,2)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ䃿Множество пар: человек, враги его друзей, являющиеся его врагами䃿Множество пар: человек, враги его друзей, являющиеся его врагамиIϿD26⓿Конституента из Exteor_Rev600 и ниже揿{α∈X₁×X₁|(β₁∈D₁₁)&(β₂∈D₁₁)&(pr₁(α)=pr₁(β₁))&(pr₂(α)=pr₁(β₂))&¬(pr₁(α)=pr₂(α))⇒¬(pr₂(β₁)∩pr₂(β₂)=∅)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⯿Пары людей, имеющие общих врагов (союзники)⯿Пары людей, имеющие общих врагов (союзники)JϿD27⓿Конституента из Exteor_Rev600 и ниже᧿{α∈X₁×X₁|(α∈D₂₆)&(α∈D₁₄)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ໿Союзники-враги໿Союзники-врагиKϿD28⓿Конституента из Exteor_Rev600 и ниже⿿{α∈X₁×X₁|(α∈D₂₆)&¬(α∈S₂)&¬((pr₂(α),pr₁(α))∈S₂)}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿჿСоюзники-неврагиჿСоюзники-неврагиLϿD29⓿Конституента из Exteor_Rev600 и нижеۿD₂₆∩S₁
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ࿿Союзники-друзья࿿Союзники-друзьяMϿD30⓿Конституента из Exteor_Rev600 и ниже壿{α∈ℬ(X₁)|(β₁∈D₁₂)&(β₂∈D₁₂)&(pr₁(β₁)∈α)&(pr₁(β₂)∈α)&¬(pr₁(β₁)=pr₁(β₂))⇒(pr₂(β₁)=pr₂(β₂))}
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ㧿Группы людей, у которых все враги общие (полные союзники)㧿Группы людей, у которых все враги общие (полные союзники)NϿD31⓿Конституента из Exteor_Rev600 и нижеۿD₁∩D₃₀
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Группы друзей-союзников៿Группы друзей-союзниковOϿD32⓿Конституента из Exteor_Rev600 и нижеۿD₇∩D₃₀
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⇿Замкнутые группы друзей-союзников⇿Замкнутые группы друзей-союзниковPϿD33⓿Конституента из Exteor_Rev600 и нижеۿD₈∩D₃₀
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ⣿Группы друзей-союзников с полной дружбой⣿Группы друзей-союзников с полной дружбойQϿD34⓿Конституента из Exteor_Rev600 и нижеۿD₉∩D₃₀
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ㋿Замкнутые группы друзей-союзников с полной дружбой㋿Замкнутые группы друзей-союзников с полной дружбойRϿD35⓿Конституента из Exteor_Rev600 и ниже৿TF₅(4,30)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ៿Друзья, друзья-союзники៿Друзья, друзья-союзникиSϿD36⓿Конституента из Exteor_Rev600 и ниже૿TF₅(29,34)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿᇿСоюзники, неврагиᇿСоюзники, неврагиTϿD37⓿Конституента из Exteor_Rev600 и ниже૿TF₅(33,33)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ㛿Пары замкнутых групп друзей-союзников с полной дружбой㛿Пары замкнутых групп друзей-союзников с полной дружбойUϿD38⓿Конституента из Exteor_Rev600 и ниже৿TF₅(5,31)
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ㫿Замкнутая группа друзей, замкнутая группа друзей-союзников㫿Замкнутая группа друзей, замкнутая группа друзей-союзников
V