Ioo

Mathlib.Order.Interval.Set.Defs

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

English

The open interval Ioo(a,b) is the set of all x with a < x and x < b; i.e., Ioo(a,b) = {x | a < x ∧ x < b}.

Русский

Открытый интервал Ioo(a,b) состоит из всех x таких, что a < x и x < b; то есть Ioo(a,b) = {x | a < x ∧ x < b}.

LaTeX

$$$Ioo(a,b) = \{x \mid a < x \land x < b\}$$$

Lean4

/-- `Ioo a b` is the left-open right-open interval $(a, b)$. -/
def Ioo (a b : α) :=
  {x | a < x ∧ x < b}

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

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

Разделы

Аффилиация

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