Syntax Definition cba 8205

Description: Extend class notation with the base set of a normed complex vector space. (Note that Base is capitalized because, once it is fixed for a particular vector space U, it is not a function, unlike e.g. norm. This is our typical convention.)

Assertion

Ref	Expression
cba	class Base

See definition df-ba 8215 for more information.

Copyright terms: Public domain