Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
csset
Next ⟩
ctrans
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csset
Description:
Declare the subset relationship class.
Ref
Expression
Assertion
csset
class SSet