Loop satisfying the weak Lagrange property

Definition
An finite loop is said to satisfy the weak property if every subloop is a defining ingredient::Lagrange-like subloop, i.e., the order (number of elements) of any subloop divides the order of the loop.