论文部分内容阅读
在效应代数中引入了正则元和正规元的概念并研究了它们的性质．首先证明了C（E）∈（E）CP（E），c（E）cN（E）cS（E），其中N（E）是效应代数E的所有正规元组成的集合，R（E）是所有正则元组成的集合．其次证明了R（E）和N（E）是E的正规子效应代数，且N（E）是正交模偏序集．此外还证明了若E是格序效应代数，则R（E）和N（E）都是E的子格，且N（E）是正交模格．