implicitly definable

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