可下定义的

翻译

可下定义的

definable