Partial embedding
= Partial embedding
= Partial isomorphism of structures
{synonym}
A partial embedding is an injective map between subsets of structures that preserves and reflects atomic formulas. It therefore preserves every quantifier-free formula.