Элементарная сеть, ассоциированная с элементарной группой

Для элементарной сети $\Omega$, ассоциированной с элементарной сетевой группой $E(\sigma)$ (определенной для элементарной сети $\sigma$) доказывается, что она является наименьшей дополняемой элементарной сетью, содержащей элементарную сеть $\sigma$. Устанавливается связь между элементарной сетью $\Omega$ и производной сетью $\omega$ (определенной для элементарной сети $\sigma$).