Category:Well-Defined Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Well-Defined Mappings.

Let $f: S \to T$ be a mapping.

Let $\RR$ be an equivalence relation on $S$.

Let $S / \RR$ be the quotient set determined by $\RR$.


Let $\phi: S / \RR \to T$ be a mapping such that:

$\map \phi {\eqclass x \RR} = \map f x$


Then $\phi: S / \RR \to T$ is well-defined if and only if:

$\forall \tuple {x, y} \in \RR: \map f x = \map f y$

Subcategories

This category has only the following subcategory.

Pages in category "Well-Defined Mappings"

This category contains only the following page.