Definition:

definable