Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
Function operation
cof
Next ⟩
cofr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cof
Description:
Extend class notation to include mapping of an operation to a function operation.
Ref
Expression
Assertion
cof
class
∘
f
𝑅