Database
REAL AND COMPLEX NUMBERS
Reflexive and transitive closures of relations
Definitions and basic properties of transitive closures
crtcl
Next ⟩
df-trcl
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crtcl
Description:
Extend class notation with reflexive-transitive closure.
Ref
Expression
Assertion
crtcl
$${class}\mathrm{t*}$$