definable system

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