definable