# Square element

From Groupprops

## Definition

Suppose is a magma, i.e., is a set and is a binary operation on . Then, an element is termed a **square element** or **square** if there exists such that .

Note that may be a group or semigroup, which is the typical context of use; however, the notion of square element makes sense even for non-associative binary operations.