cttc - Mathbox for Matthew House

	Mathbox for Matthew House		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cttc		Structured version Visualization version GIF version

Syntax Definition cttc 36674

Description: Extend class notation with the transitive closure of a class. (Contributed by Matthew House, 6-Apr-2026.)

**Hypothesis**
Ref	Expression
cA	class 𝐴

**Assertion**
Ref	Expression
cttc	class TC+ 𝐴

See definition df-ttc 36675 for more information.

Colors of variables: wff setvar class