Definition:Trivial Quotient

From ProofWiki
Jump to: navigation, search

Definition

Let $\Delta_S$ be the diagonal relation on a set $S$.

As $\Delta_S$ is an equivalence, we can form the quotient mapping:

$q_{\Delta_S}: S \to S / \Delta_S$.


This quotient mapping is called the trivial quotient of $S$.


Also see


Sources