集合XがX_1, X_2, …で被覆されてるとするます。X=X_1∪X_2∪…
Xの部分集合SがX_1, X_2, …のいずれか一つのみ(例えばX_1のみ)と共通部分を持つ
とすれば、SはX_1に含まれるといっていいですか。