Изменения

{{Определение

|definition =

# <tex>\alpha=\alpha_1\alpha_2\alpha_3</tex>

# <tex>\beta=\beta_1\beta_2\beta_3</tex>

{{Определение

|definition =

<tex>\exists \gamma_1, \gamma_2,...,\gamma_n : \alpha \Rightarrow \gamma_1 \Rightarrow \gamma_2 \Rightarrow ... \Rightarrow \gamma_n \Rightarrow \beta</tex>

}}