A set with a partial binary operation that is associative and has identities and inverses.
A magma: a set with a total binary operation.
A subset H of a group G that is itself a group and has the same binary operation as G.
A group within a larger group; a group whose members are some, but not all, of the members of a larger group.
To divide or classify into subgroups