Nilpotent Moufang loop

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