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}