Определение

Полная корректность

Полная корректность означает частичную корректность вместе с терминальностью.