Innen matematikk er en en funksjon som definerer en relasjon mellom en mengde og en delmengde . Dersom en slik funksjon finnes, sier man at er i . Embeddinger er isomorfier som bevarer visse egenskaper, avhengig av sammenhengen og hvilke matematiske strukturer og representerer. Embeddinger brukes blant annet innen ordensteori, topologi, funksjonalanalyse og diskret matematikk.