chlg - Metamath Proof Explorer

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

Syntax Definition chlg 25495

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

**Assertion**
Ref	Expression
chlg	hlG

See definition df-hlg 25496 for more information.

Colors of variables: wff setvar class