Definition:Partial Elementary Embedding