Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
clti

Next ⟩ cplpq

Metamath Proof Explorer

Unicode
Structured

Syntax definition clti

Description: Positive integer ordering relation.

		Ref	Expression
	Assertion	clti	class