In een aantal deelgebieden van dewiskunde, zoals deabstracte algebra, detopologie en decategorietheorie, verstaat men onder eeninbedding van eenwiskundig object in een ander object, de opvatting van dat object als deel van het omvattende object. Een voorbeeld in demeetkunde is eencirkel als deel van de ruimte, of in deabstracte algebra eenondergroep, die deel uitmaakt van eengroep.

Deinbedding van een wiskundig object${\displaystyle X}$ in een (ander) object${\displaystyle Y}$ wordt gegeven door eeninjectieve en structuur-bewarende afbeelding${\displaystyle f:X\to Y}$. De precieze betekenis van "structuur-bewarend" hangt af van de soortwiskundige structuur die de objecten${\displaystyle X}$ en${\displaystyle Y}$ bezitten. In de terminologie van decategorietheorie bijvoorbeeld wordt een structuur-bewarende afbeelding eenmorfisme genoemd.

Een inbedding wordt vaak aangeduid door het gebruik van een "gehaakte pijl":${\displaystyle f:X\hookrightarrow Y.}$

Voor gegeven objecten${\displaystyle X}$ en${\displaystyle Y}$ zijn er verschillende inbeddingen van${\displaystyle X}$ in${\displaystyle Y}$ mogelijk. In veel interessante gevallen is er sprake van een standaard (of "kanonieke") inbedding, zoals die van denatuurlijke getallen in degehele getallen, de gehele getallen in derationale getallen, de rationale getallen in dereële getallen en de reële getallen in decomplexe getallen. In dergelijke gevallen is het gebruikelijk hetdomein${\displaystyle X}$ te identificeren met haarbeeld${\displaystyle f(X)}$ als deel van${\displaystyle Y}$, zodat vervolgens gezegd kan worden dat${\displaystyle X\subseteq Y.}$

Hoofdartikel over dit onderwerp:Topologische inbedding

In dealgemene topologie is een inbedding eenhomomorfisme op zijnbeeld. Meer specifiek is eenafbeelding${\displaystyle f:X\to Y}$ tussen detopologische ruimten${\displaystyle X}$ en${\displaystyle Y}$ een inbedding als${\displaystyle f}$ eenhomeomorfisme tussen${\displaystyle X}$ en${\displaystyle f(X)}$ oplevert (waar${\displaystyle f(X)}$ voorzien is van dedeelruimtetopologie, die overgeërfd wordt van${\displaystyle Y}$). Intuïtief gesproken maakt de inbedding${\displaystyle f(X)}$ het mogelijk${\displaystyle X}$ te behandelen als eentopologische deelruimte van${\displaystyle Y}$. Elke inbedding isinjectief encontinu. Van iedere afbeelding die injectief, continu en hetzijopen ofgesloten is, zegt men dat het een inbedding is. Er zijn echter ook inbeddingen die noch open noch gesloten zijn. Van dit laatste is sprake als de afbeelding${\displaystyle f(X)}$ noch eenopen-, noch eengesloten verzameling in${\displaystyle Y}$ is.