sUnion

Mathlib.Order.SetNotation

URI: https://scilib.ai/kg/mathlib#Set.sUnion

English

sUnion S is the union of a set of sets S: it consists of all elements that lie in at least one member of S.

Русский

sUnion S — объединение множества множеств S; содержит элементы, принадлежащие какому-либо члену S.

LaTeX

$$$\mathrm{sUnion}\ (S) = \bigcup S$$$

Lean4

/-- Union of a set of sets. -/
def sUnion (S : Set (Set α)) : Set α :=
  sSup S

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru