Поддающийся определению - Definable

В математическая логика, слово определяемый может относиться к: