Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Finitely supported functions
cfsupp
Next ⟩
df-fsupp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfsupp
Description:
Extend class definition to include the predicate to be a finitely supported function.
Ref
Expression
Assertion
cfsupp
class
finSupp