nLab
unital magma

Contents

Definition

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

1x=x=x1 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.