cdomfn - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > cdomfn		Unicode version

Syntax Definition cdomfn 5769

Description: Extend the definition of a class to include the domain function.

**Assertion**
Ref	Expression
cdomfn	Dom

See definition df-domfn 5770 for more information.

Colors of variables: wff setvar class