映射的定義域(domain of a mapping)見“映射”.與映射有關的一個概念.在映射f;A->B中，當A=必時，f是空映射，代表一個零元運算.若A}必，則B並必.當給定XXY中的一個子集G，且對於任何(x, y) , <x,z) EG，總有y=z成立時，G就決定一個映射y=f fix)，此時f的定義域D(f)由下式定義:
