Synonyme ord er definisjonsområde, domene og kilde. Et element i definisjonsmengden er et for funksjonen. For en total funksjon er .