短语词组短语finitely definable function 有穷可定义函数user definable function 用户可定义函数Definable function -keys 可定义的功能键 返回 definable function