ctrs - Mathbox for Peter Mazsa

	Mathbox for Peter Mazsa		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > ctrs		Structured version Visualization version GIF version

Syntax Definition ctrs 36273

Description: Extend the definition of a class to include the transitivity class (but cf. the transitive class defined in df-tr 5188).

**Assertion**
Ref	Expression
ctrs	class Trs

See definition df-trs 36613 for more information.

Colors of variables: wff setvar class