, s 2 10 ), (s 1 3 , s 2 10 )}.
Доведемо, що R 3 ГЌ (R 1 (Y * 1 ) ' R 2 (X * 2 )) < span align = "justify"> Г‡ S 3 :
R 1 (Y * 1 ) = {s 2 2 , s 2 3 , s 2 4 , s 2 < span align = "justify"> 5 }, 2 (X * 2 ) = {s 1 3 , s 1 8 < span align = "justify">, s 1 9 , s 1 10 , s 1 11 }, 3 = {(s 1 3 , s span> 2 1 ), (s 1 4 , s 2 2 ), (s 1 2 span> , s 2 3 ), (s 1 2