Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Richard Penner
Additional statements on relations and subclasses
Reflexive closures
crcl

Next ⟩ df-rcl

Metamath Proof Explorer

Ascii
Structured

Syntax definition crcl

Description: Extend class notation with reflexive closure.

		Ref	Expression
	Assertion	crcl	class r*