Definition:Partial Embedding (Model Theory)