cplt - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cplt		Structured version Visualization version GIF version

Syntax Definition cplt 18007

Description: Extend class notation with less-than for posets.

**Assertion**
Ref	Expression
cplt	class lt

See definition df-plt 18029 for more information.

Colors of variables: wff setvar class