短语词组短語finitely definable function 有窮可定義函數user definable function 用戶可定義函數Definable function -keys 可定義的功能鍵 返回 definable function