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

Next ⟩ ctrans

Metamath Proof Explorer

Ascii
Structured

Syntax definition csset

Description: Declare the subset relationship class.

		Ref	Expression
	Assertion	csset	class SSet