In an ortholattice, the orthocomplement of any element is uniquely determined by the orthocomplementation operation.
直交格子では、任意の元の直交補元は直交補作用によって一意に定まる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
