property of a Chu spaceA property of a Chu space over Σ with carrier 𝒜 is some Y⊆Σ𝒜. We say that a Chu space 𝒞=(𝒜,r,𝒳) satisfies Y if X⊆Y.For example, every Chu space satisfies the property Σ𝒜.