定義域
写像 f: X → Y の場合には始域 (domain) X の全ての元 x に対して値 f(x) が定義されるから、その意味において定義域 (domain of definition) は X であり、始域と定義域を区別することは必要でない。しかし値 f(x) が未定義であることを許す部分写像に対しては差異が生じる。ゆえにこの場合、"domain of definition" を短く "domain" と呼ぶか否かは問題になる。
現代数学的な用法において部分写像 f: X → Y の domain とは、定義域 (domain of definition) の事であるのが殆どであり、従って f の domain とは制限 f: X′ → Y が写像となるような X の最大の部分集合 X′ である。
一方、圏論では写像のかわりに射(対象から対象への矢印)を扱うが、射の域 (domain) とは矢印のでている対象のことであり(矢の指している対象は射の余域 (codomain) と呼ぶ)、部分写像などの場合に domain が定義域の事を指すのとでは流儀が異なる。この文脈では domain に関する集合論的な考え方の多くが使えなかったりより抽象的な形に定式化しなおされなければならない。例えば、射の域を部分対象へ制限するという概念は、写像の場合から修正を加えなければならない。そういった意味でこの文脈では、圏の射が部分写像で与えられるような圏の場合でも、上記とは異なり射としての部分写像 f: X → Y の domain は(各点 x ∈ X で f(x) が定義されるか否かに関わらず)X のことを言う。
きちんと定義された函数は、定義域の各元を終域の元へ写すものでなければならない。例えば、実函数 f(x) = 1⁄x は値 f(0) を持たないから、実数全体の成す集合 R はその定義域にはなり得ない。この場合、R ∖ {0} を自然な定義域と考えたり、f(0) を明示的に与えて「穴埋め」を考えたりすることもできる。例えば
f ( x ) = { 1 / x ( x ≠ 0 ) 0 ( x = 0 ) {\displaystyle f(x)={\begin{cases}1/x&(x\neq 0)\\0&(x=0)\end{cases}}}
として f を延長すれば、これは任意の実数 x に対して定義することができるので、R を f の定義域に採用することができる。
このような函数の定義域の「穴埋め」は、しばしばそこで函数の持つ一貫した性質(連続性、可微分性など)が失われ、特異点を生じうる。それとは対照的に、複素解析において、見かけ上孤立した特異点であるものが、滑らかまたは解析的に延長して特異性を解消できる場合がある。このような特異点は可除特異点と呼ばれる。また、局所的に与えられた解析函数は解析的延長の原則に基づいて大域的に定義域の延長を受ける。そのような可能な限りの延長を行って得られる(一価の)解析函数の定義域を自然な定義域と呼ぶことがある。
函数解析学においてしばしば部分写像であるような作用素が扱われ、作用素 f: X → Y の定義域 D(f) が始域 X において稠密であるようなものがしばしば重要な役割を果たす。このように定義域が始域の中で稠密であるような部分写像は、稠密に定義されているという。