Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
ctrans

Next ⟩ cbigcup

Metamath Proof Explorer

Unicode
Structured

Syntax definition ctrans

Description: Declare the transitive set class.

		Ref	Expression
	Assertion	ctrans	class Trans