In mathematical logic, the word definable may refer to: