Category:Inclusion Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Inclusion Mappings.

Let $T$ be a set.

Let $S\subseteq T$ be a subset.


The inclusion mapping $i_S: S \to T$ is the mapping defined as:

$i_S: S \to T: \forall x \in S: \map {i_S} x = x$