Что такое ортогональное дополнение в математике и его свойства