union — Mathlib

English

Let s and t be subsets of α. Then their union s ∪ t consists of all elements that belong to s or to t.

Русский

Пусть s и t — подмножества α. Их объединение s ∪ t состоит из всех элементов, принадлежащих либо s, либо t.

LaTeX

$$$\forall s,t \in Set\,\alpha,\ s \cup t \in Set\,\alpha$$$

Lean4

/-- The union of two sets `s` and `t` is the set of elements contained in either `s` or `t`.

Note that you should **not** use this definition directly, but instead write `s ∪ t`. -/
protected def union (s₁ s₂ : Set α) : Set α :=
  {a | a ∈ s₁ ∨ a ∈ s₂}

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