# Subloop

From Groupprops

## Definition

A subset of an algebra loop is termed a **subloop** if it satisfies the following equivalent conditions:

- It is closed under the multiplication of the algebra loop and forms an algebra loop under the induced multiplication.
- It is closed under the multiplication of the algebra loop, has the same identity element, and forms an algebra loop under the induced multiplication.