Database
BASIC STRUCTURES
Extensible structures
Definition of the structure quotient
cordt
Next ⟩
cxrs
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cordt
Description:
Extend class notation with the order topology.
Ref
Expression
Assertion
cordt
class ordTop