definable formula

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