между множеством и семейством

[knizhnik]

Здравствуйте. Как называется отношение между множеством $A$ и семейством множеств $X_1,X_2, \ldots , X_n$ такое, что
$\forall x \ [x \in A \Rightarrow (x \in X_1 \lor x \in X_2 \lor \ldots \lor x \in X_n)]$
?

[gris]

Выражение в круглых скобках определяет некоторую конструкцию из множеств семейства.

[svv]

Символы $\lor, \land$ даже визуально схожи с символами соответствующих операций над множествами. Это неспроста.

[knizhnik]

Я понял, это включение в объединение!

[svv]

Yes!