частичная определимость

Мат. partial definability