.. _sets:

集合
====

本章介绍*集合*语言。它是一种便利的方式，用来讨论某个类型中满足某种性质的对象。这个语言包括集合中的*属于*关系、一个集合是另一个集合的*子集*这一性质，以及一整套集合运算，例如*交*、*并*和*补*；每一种运算都可以看作是对底层性质之间某个逻辑符号的封装。

在本章最后一节 :numref:`第 %s 节 <powerset>` 中，我们把某个类型中的所有集合组成的集合族本身作为一种类型来研究。

.. include:: ch09_Sets/01_Sets.inc
.. include:: ch09_Sets/02_Set_Operations.inc
.. include:: ch09_Sets/03_Powerset.inc