We consider subsets G of a generalized effect algebra E with 0∈ G and such that every interval [0, q ] G = [0, q ] E ∩ G of G ( q ∈ G , q ≠ 0) is a sub-effect algebra of the effect algebra [0, q ] E . We give a condition on E and G under which every such G is a sub-generalized effect algebra of E .
展开▼
机译:我们考虑具有0∈G的广义效应代数E的子集G,使得G的每个区间[0,q] G = [0,q] E(G(q∈G,q≠0)是一个子效应代数[0,q] E的代数。我们在E和G上给出一个条件,在该条件下,每个这样的G都是E的次广义效应代数。
展开▼