Database
BASIC STRUCTURES
Extensible structures
Basic definitions
Base sets
cbs
Next ⟩
df-base
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cbs
Description:
Extend class notation with the class of all base set extractors.
Ref
Expression
Assertion
cbs
class
Base