..............................................................................

3
................................................................................... 3
........................................................................................... 3
................................................................................ 4
................................................................................................................... 5
............................................................................................................................. 6
.................................................................................................................... 7
.................................................................................... 7
....................................................................................................... 8
.................................................................................................................... 9
............................. 9
..................................................................................... 10
............................................................................................................ 10
................................................................................................ 11
.............................................................................................. 11
𝑆𝑛
 →
𝝈 𝝈𝝉 ∈

∗ 𝐺 𝑌→𝑌
𝜎∈ 𝑦∈ 𝜎∗𝑦 ∈

 ∈ ∗
 𝜎∈ ∈ 𝜎𝜏 ∗𝑥 𝜎∗ 𝜏∗𝑥

∗ →
𝜎∗𝜏 𝜎𝜏
𝜎𝜏 𝜏𝑥 𝜎𝜏 𝜎𝜏 𝑥
𝜎𝜏 𝑥

𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

 → 𝜎∗𝑥 𝑥

→
𝜎∗𝑥 𝑥 𝜎 𝑥

𝜎∈
𝜎
𝜎 ≔ 𝑥∈ ∶ 𝜎∗𝑥 ⊆
𝜎 𝝈
 𝑥∈
𝐺 𝑥
𝑥 ≔ 𝜎∈ ∶ 𝜎∗𝑥 ⊆
𝑥 𝒙

∈ 𝑥 ∗𝑥 𝑥 𝜎 ∈ 𝑥
𝜎𝜏 ∗𝑥 𝜎∗ 𝜏∗𝑥 𝜎∗𝑥 𝑥.
𝜏∈ 𝑥
𝜎∈ 𝑥
𝜎 ∗𝑥 𝜎 ∗ 𝜎∗𝑥 𝜎 𝜎 ∗𝑥 𝑒∗𝑥 𝑥.
𝜎 ∈ 𝑥

𝑌
𝑥 𝑦 𝑠𝑖 𝑒𝑥𝑖𝑠𝑡𝑒 𝜎∈𝐺 𝜎∗𝑥 𝑦

𝑥 𝑦 𝑥 𝐺 𝑦

𝑥 𝑥 𝑒∗𝑥 𝑥
𝑥 𝑦 𝜎∈ 𝜎𝑥 𝑦
𝜎 𝑦 𝜎 𝜎𝑥 𝑒𝑥 𝑥 𝑦 𝑥
𝑥 𝑦 𝑦 𝑧 𝜎∈ 𝜎𝑥 𝑦
𝜏𝑦 𝑧 𝜏𝜎 𝜎𝑥 𝜏𝑦 𝑧 𝑥 𝑧
𝑥∈𝑌
𝑥 𝑜𝑟𝑏𝐺 𝑥 𝜎∗𝑥∈𝑌 𝜎∈𝐺