property of a Chu space

A property of a Chu space over $\mathrm{\Sigma }$ with carrier $𝒜$ is some $Y\subseteq {\mathrm{\Sigma }}^{𝒜}$. We say that a Chu space $𝒞=(𝒜,r,𝒳)$ satisfies $Y$ if $X\subseteq Y$.

For example, every Chu space satisfies the property ${\mathrm{\Sigma }}^{𝒜}$.

Title	property of a Chu space
Canonical name	PropertyOfAChuSpace
Date of creation	2013-03-22 13:04:57
Last modified on	2013-03-22 13:04:57
Owner	Henry (455)
Last modified by	Henry (455)
Numerical id	5
Author	Henry (455)
Entry type	Definition
Classification	msc 03G99
Defines	satisfies as a Chu space