Subgroup of a loop

Definition
A subgroup of a loop is defined as a subloop of an algebra loop that is a group under the induced multiplication.