Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
The support of functions
csupp
Next ⟩
df-supp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csupp
Description:
Extend class definition to include the support of functions.
Ref
Expression
Assertion
csupp
class
supp