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). Dans certaines théories, telles que la théorie des modèles ou des variétés différentielles, le terme
plongement est complètement défini alors que dans d'autres il n'est que mentionné dans des contextes intuitifs et n'est donc pas pourvu d'un sens précis.