Moufang property is subloop-closed

Statement
Every subloop of a fact about::Moufang loop is a Moufang loop.

Stronger properties

 * Moufang property is varietal: The Moufang loops form a subvariety of the variety of algebras given by algebra loops.