Moufang property is subloop-closed
From Groupprops
Statement
Every subloop of a Moufang loop (?) is a Moufang loop.
Related facts
Stronger properties
- Moufang property is varietal: The Moufang loops form a subvariety of the variety of algebras given by algebra loops.
