The theory of saturated fusion systems resembles in many parts the theory of finite groups. However, some concepts from finite group theory are difficult to translate to fusion systems. For example, products of normal subsystems with other subsystems are only defined in special cases. In this paper the theory of localities is used to prove the following result: Suppose F is a saturated fusion system over a p-group S. If E is a normal subsystem of F over T≤S, and D is a subnormal subsystem of N_F(T) over R≤S, then there is a subnormal subsystem ED of F over TR, which plays the role of a product of E and D in F. If D is normal in N_F(T), then ED is normal in F. It is shown along the way that the subsystem ED is closely related to a naturally arising product in certain localities attached to F.