Products in fusion systems

We revisit the notion of a product of a normal subsystem with a p-subgroup as defined by Aschbacher (2011) [Asc11, Chapter 8]. In particular, we give a previously unknown, more transparent construction.