让$\mathrm{<trans\; data-src="G">G公司</trans>}$是作用于单位的离散群${\mathrm{<trans\; data-src="C">C类</trans>}}^{<trans\; data-src="\ast ">\ast </trans>}$-代数$\mathcal{<trans\; data-src="A">A类</trans>}$通过$<trans\; data-src="\ast ">\ast </trans>$-自同构。当夹杂物$\mathcal{<trans\; data-src="A">A类</trans>}\mathrm{<trans\; data-src="\subseteq ">\subseteq </trans>}\mathcal{<trans\; data-src="A">A类</trans>}{\mathrm{<trans\; data-src="⋊">⋊</trans>}}_{\mathrm{<trans\; data-src="r">第页</trans>}}\mathrm{<trans\; data-src="G">G公司</trans>}$具有唯一的条件期望，并且当它具有皮特斯意义上的唯一伪期望时；我们也会这样做$\mathcal{<trans\; data-src="A">A类</trans>}\mathrm{<trans\; data-src="\subseteq ">\subseteq </trans>}\mathcal{<trans\; data-src="A">A类</trans>}\mathrm{<trans\; data-src="⋊">⋊</trans>}\mathrm{<trans\; data-src="G">G公司</trans>}$。作为一个应用程序，我们保留（并可能扩展）一些已知的${\mathrm{<trans\; data-src="C">C类</trans>}}^{<trans\; data-src="\ast ">\ast </trans>}$-简单性结果$\mathcal{<trans\; data-src="A">A类</trans>}{\mathrm{<trans\; data-src="⋊">⋊</trans>}}_{\mathrm{<trans\; data-src="r">第页</trans>}}\mathrm{<trans\; data-src="G">G公司</trans>}$.