La og være totalt ordnede mengder, for hvis addisjon og multiplikasjon er definert, og la være en delmengde av . En av er en isomorfi , og vi sier at er embeddet i hvis og bare hvis en slik isomorfi finnes.