definable notion

Мат. определяемое понятие