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