theorem :: CFUNCDOM:27

for A being non empty set holds CAlgebra A is ComplexAlgebra ;