霍爾定理

對於集合族 , , ..., 當且僅當 對於所有從 1 到 的 值，任意 個集合的並集至少包含 個元素時，存在一個不同的代表系統 (Harary 1994, p. 53)。