partial completeness

Мат. частичная полнота