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

Мат. partial completeness