For a magma , the left nucleus is the set of such that:
Elements of the left nucleus are termed left-associative elements or left nuclear elements.
The left nucleus of a magma is a submagma. In fact, it is a subsemigroup that contains any left neutral element of the magma and also any left nil of the magma. For full proof, refer: left-associative elements of magma form submagma