Metamath Proof Explorer

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition clti 3769

Description: Positive integer ordering relation.

**Assertion**
Ref	Expression
clti	class <_N

See definition df-lti 3797 for more information.

Colors of variables: wff set class