# property of a Chu space

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

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

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 |