Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology and algebraic structures
Embedding from the extended real numbers into a complete lattice
cxrh
Next ⟩
df-xrh
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cxrh
Description:
Map the extended real numbers into a complete lattice.
Ref
Expression
Assertion
cxrh
class
ℝ
*
Hom