局部函數(partial function)係函數嘅一種。一個由集 X 去集 Y 嘅局部函數唔會指定嗮 X 嘅每個元素對應 Y 嘅一個元素,即係話 X 嘅某啲元素可以喺 Y 入面冇對應或者多過一個對應。