Embedding Relation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A relation between two algebraic or relational structures indicating that the first can be represented inside the second by an injective homomorphism that preserves the relevant operations and relations.