G-loop

Definition
A loop is termed a G-loop if every loop isotopic to it (as a magma with the multiplicative structure; the isotopy will automatically transform the left and right quotient operations accordingly) is in fact isomorphic to it.