( . transitivus - ), . * b , * b b * c , * c. , ( = b) , = b b = = . , <<a b>> ( > b). <<a b>> (a ¹ b) , a ¹ b b ¹ c a ¹ c. ( a b, b g, a g), .


: