空関数（）、あるいは空写像とは、数学における関数（写像）の一種で、定義域が空集合の関数をいう。任意の集合 "A" について、"A" を終域とする空関数は必ずちょうど1つ存在する。空関数のグラフは、直積集合 ∅×"A" の部分集合である。直積は空なので、その部分集合も空集合 ∅ である。定義域 ∅ に属する全ての "x" に対して、("x

出典:wikipedia