可下定义的

可下定义的

definable