  We develop a theory of semidirect products of partial groups and localities.
Our concepts generalize the notions of direct products of partial groups and
localities, and of semidirect products of groups.
