# Definition:Right Cancellable Mapping

Jump to navigation
Jump to search

## Contents

## Definition

A mapping $f: X \to Y$ is **right cancellable** (or **right-cancellable**) if and only if:

- $\forall Z: \forall \paren {h_1, h_2: Y \to Z}: h_1 \circ f = h_2 \circ f \implies h_1 = h_2$

That is, if and only if for any set $Z$:

- If $h_1$ and $h_2$ are mappings from $Y$ to $Z$
- then $h_1 \circ f = h_2 \circ f$ implies $h_1 = h_2$.

## Also known as

Some sources call this a **right cancellative mapping**.

## Also see

In the context of abstract algebra:

from which it can be seen that a right cancellable mapping can be considered as a right cancellable element of an algebraic structure whose operation is composition of mappings.

## Sources

- 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*... (previous) ... (next): $\text{I}$: Problem $\text{BB}$ - 1975: T.S. Blyth:
*Set Theory and Abstract Algebra*... (previous) ... (next): $\S 5$. Induced mappings; composition; injections; surjections; bijections - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): Appendix $\text{A}.5$: Identity, One-one, and Onto Functions