(mathematics) An orthocomplemented lattice.
ortholattice
量子論理では、命題の代数は直交補格子としてモデル化でき、直交補完演算を表現する。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★