# nLab unital magma

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Definition

A magma $(S,\cdot)$ is called unital if it has an identity element $1 \in 1$, hence an element such that for all $x \in X$ it satisfies the equation

$1 \cdot x = x = x \cdot 1$

holds.

Some authors take a magma to be unial by default (cf. Borceux-Bourn Def. 1.2.1).

## Examples

Examples include unital rings etc.

Created on April 21, 2017 at 03:39:07. See the history of this page for a list of all contributions to it.