mimetexを試す... ホールの定理

ホールの定理、または結婚の定理という。

S=\{s_1,s_2,s_3,...,\} が、有限集合とする。
Sの横断集合とは、
X=\{x_1,x_2,...,\} , |X| = |S|で、すべてのiについて、x_i \in s_i の
X集合のこと。
Sの結婚条件とは、Sの任意の部分集合 \forall T \subseteq Sについて、
|T|\lt | \cup_{t \in T} t | が成り立つこと。


...
...