可定义