явно определимый

Мат. explicitly definable