Embedding (mathematics) in the context of Subgroup

In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.

When some object ${\displaystyle X}$ is said to be embedded in another object ${\displaystyle Y}$, the embedding is given by some injective and structure-preserving map ${\displaystyle f:X\rightarrow Y}$. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which ${\displaystyle X}$ and ${\displaystyle Y}$ are instances. In the terminology of category theory, a structure-preserving map is called a morphism.