partial definability

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