chlg - Metamath Proof Explorer

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

Syntax Definition chlg 26961

Description: Function producing the relation "belong to the same half-line".

**Assertion**
Ref	Expression
chlg	class hlG

See definition df-hlg 26962 for more information.

Colors of variables: wff setvar class