目录
分配格
设(L, \vee, \wedge)是一个格，若对于任意的a, b, c \in L有 则称L为分配格。 上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。 设(L, \vee, \wedge)是一个格，L为分配格当且仅当对于任意的a, b, c \in L，若a \vee b.
查看 有补格和分配格
相对有补格
在数学中，相对有补格是一个格 L，在对于所有在 L 中有着 a ≤ b ≤ c 的 a, b, c，有在 L 中的某个 x 使得 x ∨ b.
查看 有补格和相对有补格
补运算
设L是带有最大元素1和最小元素0的有界格。L的两个元素x和y是互补（相互为补元）的，当且仅当： 在这种情况下，它们被指示为¬x.
查看 有补格和补运算
量子操作
量子操作（又称量子动态映射或量子过程）是对量子系统所能经历的一系列变换的数学表述。这一概念是由在讨论密度矩阵的广义随机变换时首度引入。量子操作的表述需要系统采用密度矩阵描述。严格而言，量子操作是一个密度算符集到其自身的线性完全正映射。在量子运算领域，量子操作通常称作。“量子操作”有时会被一些学者用来描述密度矩阵空间的或非迹增映射，而“量子通道”则特指其中严格的保迹映射。量子操作不仅仅涉及孤立系统的时间演化及对称变换，同时还涉及测量效应以及系统与环境间的暂态相互作用。 量子系统所能经历的一些过程并不能用量子操作描述。原则上，量子系统的密度矩阵可以经过任意的时间演化。量子操作可以通过“”这一概念进行推广。量子仪器可以捕捉测量过程中量子信息外的经典信息。.
查看 有补格和量子操作
有界格
设(L, \vee, \wedge)是一个格，若存在a \in L，使得对于所有的x \in L有a \leq x，则称a为L的全下界；若存在b \in L，使得对于所有的x \in L有x \leq b，则称b为L的全上界。 可以证明，若格L存在全上界或全下界，一定是唯一的。一般将格的全上界记作1，全下界记作0。（注意这里的0,1只是两个特殊的符号，和自然数0,1不同） 设(L, \vee, \wedge)是一个格，若L存在全上界和全下界，则称L为有界格，记作(L, \vee, \wedge, 0, 1)。 设(L, \vee, \wedge, 0, 1)是一个有界格，则对于所有的a \in L，有.
查看 有补格和有界格