(mathematics, especially lattice theory) An element of an ortholattice which is the result of applying an orthocomplementation function to a given element (of that ortholattice) (of which it is said to be the orthocomplement).
orthocomplement
直交格子では、任意の元の直交補元は直交補作用によって一意に定まる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
