局部函數

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