Syntax Definition cba 28957

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

Assertion

Ref	Expression
cba	class BaseSet

See definition df-ba 28967 for more information.