Embedding

An injective structure-preserving map from one object into another that identifies the source as a subobject of the target while preserving the relevant structure (often realized as an injective morphism with additional reflection properties).