Definition:Group Relation on Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a set.


A group relation on $X$ is a pair $(u, v)$ where $u$ and $v$ are group words on $X$.

A group relation $(u, v)$ is also denoted $u=v$.


Also see


Sources