symmDiff_def

Mathlib.Data.Set.SymmDiff

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

English

Symmetric difference is the union of the two asymmetric differences: s ∆ t = (s \\ t) ∪ (t \\ s).

Русский

Симметрическая разность — это объединение различий: s ∆ t = (s \\ t) ∪ (t \\ s).

LaTeX

$$$s \\Delta t = (s \\ t) \\cup (t \\ s)$$$

Lean4

protected theorem symmDiff_def (s t : Set α) : s ∆ t = s \ t ∪ t \ s :=
  rfl

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

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

Разделы

Аффилиация

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