:: deftheorem Def1 defines Out_In_Sq JGRAPH_2:def 1 :
for b₁ being Function of (NonZero (TOP-REAL 2)),(NonZero (TOP-REAL 2)) holds
( b₁ = Out_In_Sq iff for p being Point of (TOP-REAL 2) st p <> 0. (TOP-REAL 2) holds
( ( ( ( p `2 <= p `1 & - (p `1) <= p `2 ) or ( p `2 >= p `1 & p `2 <= - (p `1) ) ) implies b₁ . p = |[(1 / (p `1)),(((p `2) / (p `1)) / (p `1))]| ) & ( ( p `2 <= p `1 & - (p `1) <= p `2 ) or ( p `2 >= p `1 & p `2 <= - (p `1) ) or b₁ . p = |[(((p `1) / (p `2)) / (p `2)),(1 / (p `2))]| ) ) );