Database
REAL AND COMPLEX NUMBERS
Order sets
Real number intervals
cioo
Next ⟩
cioc
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cioo
Description:
Extend class notation with the set of open intervals of extended reals.
Ref
Expression
Assertion
cioo
class
.