霍尔定理

对于集合族 , , ..., 当且仅当 对于所有从 1 到 的 值，任意 个集合的并集至少包含 个元素时，存在一个不同的代表系统 (Harary 1994, p. 53)。