Inbedding
In een aantal deelgebieden van de wiskunde, zoals de abstracte algebra, de topologie en de categorietheorie, verstaat men onder een inbedding van een  wiskundig object in een ander object, de opvatting van dat object als deel van het omvattende object. Een voorbeeld in de meetkunde is een cirkel als deel van de ruimte, of in de abstracte algebra een ondergroep, die deel uitmaakt van een groep.

Definitie
De inbedding van een wiskundig object  in een (ander) object  wordt gegeven door een injectieve en structuur-bewarende afbeelding . De precieze betekenis van "structuur-bewarend" hangt af van de soort wiskundige structuur die de objecten  en  bezitten. In de terminologie van de categorietheorie bijvoorbeeld wordt een structuur-bewarende afbeelding een morfisme genoemd.

Notatie
Een inbedding wordt vaak aangeduid door het gebruik van een "gehaakte pijl":

Gebruik
Voor gegeven objecten  en  zijn er verschillende inbeddingen van  in  mogelijk. In veel interessante gevallen is er sprake van een standaard (of "kanonieke") inbedding, zoals die van de natuurlijke getallen in de gehele getallen, de gehele getallen in de rationale getallen, de rationale getallen in de reële getallen en de reële getallen in de complexe getallen. In dergelijke gevallen is het gebruikelijk het domein  te identificeren met haar beeld  als deel van , zodat vervolgens gezegd kan worden dat

Topologie en meetkunde 
Hoofdartikel over dit onderwerp: Topologische inbedding

In de algemene topologie is een inbedding een homomorfisme op zijn beeld. Meer specifiek is een afbeelding  tussen de topologische ruimten  en  een inbedding als  een homeomorfisme tussen  en  oplevert (waar  voorzien is van de deelruimtetopologie, die overgeërfd wordt van ). Intuïtief gesproken maakt de inbedding  het mogelijk  te behandelen als een topologische deelruimte van . Elke inbedding is injectief en continu. Van iedere afbeelding die injectief, continu en hetzij open of gesloten 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  noch een open-, noch een gesloten verzameling in  is.

Categorietheorie
Differentiaalmeetkunde
Differentiaaltopologie