Bi-Equivariant Extensions Of Maps

The problem of bi-equivariant extension of continuous maps of binary $G$-spaces is considered. The concept of a structural map of distributive binary $G$-spaces is introduced, and a theorem on the bi-equivariant extension of structural maps is proven. A theorem on the bi-equivariant extension of continuous maps defined on the cross sections of a distributive binary $G$-space is also proven.