Полный англо-русский словарь
definable symbol
Мат. определяемый символ
Полный англо-русский словарь
definable subset
definable system