subgyrogroup

Noun

 * 1)  A subset of a gyrogroup that satisfies the gyrogroup axioms.