deletions | additions       diff --git a/Rank & centrality.tex b/Rank & centrality.tex  index 93e5301..055c706 100644  --- a/Rank & centrality.tex  +++ b/Rank & centrality.tex 
...
\end{equation}  Введем функцию $r_v: P_v\rightarrow \{-1, 0, 1\}$ следующего вида:  $$ \begin{equation}  \label{eqn:eq_rv_pi_definition}  r_v (p_i) = \begin{cases}   \ \ -1, & sim^1_i < sim_i \bigwedge sim^2_i < sim_i,\ \ \ //\ v\ \text{сближает}\ S_1\ \text{и}\ S_2 \\  \ \ 1, & sim^1_i > sim_i \bigwedge sim^1_i > sim_i,\ \ \ //\ v\ \text{удаляет}\ S_1\ \text{от}\ S_2 \\  \ \ 0, & (sim^1_i - sim_i) \cdot (sim^2_i - sim_i) < 0 \end{cases}  $$ \end{equation}  Функция $r_v$ определена для каждого разбиения и дает своего рода "кирпичики", из которых будет складываться ранг синонима.  Выражение  
...
v \in IntS   \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}} % see (\ref{eqn:eq_short_ints}),   \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \}  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(2)}}} % see (\ref{eqn:eq_synonym_rank}), (\ref{eqn:eq_rv_pi_definition}),  \forall p_i: r_v (p_i) = 1  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(3)}}} % see (\ref{eqn:eq_synonym_rank}),  $$    \end{proof}