  Orbits and bi-invariant subsets of binary $G$-spaces are studied. The problem
of the distributivity of a binary action of a group $G$ on a space $X$, which
was posed in 2016 by one of the authors, is solved.
