Next come facts that constrain these sets and relations.

• 接著是限制这些集合与关系的一些事实。