Solvable Moufang loop

Definition
A solvable Moufang loop is a loop that is both a conjunction involving::solvable loop and a conjunction involving::Moufang loop.