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 36346

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

**Assertion**
Ref	Expression
ctrs	class Trs

See definition df-trs 36686 for more information.

Colors of variables: wff setvar class