Existence de Plongement

La relation selon laquelle une structure peut être injectée dans une autre par un homomorphisme injectif (plongement) qui préserve les interprétations de tous les symboles et, selon la notion précise, réfléchit les relations comme requis. La plongabilité signifie qu'une copie de la première structure existe à l'intérieur de la seconde à isomorphisme près sur son image.