Анықтама 5. Айталық - векторлық кеңістіктің кез келген ішкі кеңістігі болсын. -ға тиісті барлық векторларға ортогональ -ға тиісті ковекторлардың жиынын кеңістігіне ортогональ толықтауыш деп атайды және оны деп белгілейді:
Басқаша айтқанда, кеңістігіне ортогональ толықтауыш - бұл , -ға тиісті векторларда нөлге айналатын, -ға тиісті барлық сызықтық функциялардың жиыны.
ішкі кеңістігінің ортогональ толықтауышы басқа кеңістігінде жатады.
