Dans de nombreuses branches des mathématiques, on peut être amené à comparer deux « objets » entre eux en montrant que l'un des « objets » est un « sous-objet » de l'autre (parfois via une injection, remplaçant l'inclusion ensembliste). Dans certaines théories, principalement en géométrie différentielle, le terme plongement est complètement défini, alors que dans d'autres il est seulement mentionné dans des contextes intuitifs et n'est donc pas pourvu d'un sens précis.
