PanLinx: ортодополнение

русский	rus-000
ортодополнение

English	eng-000	orthocomplementation
English	eng-000	orthogonal complement

PanLex-PanLinx