Category:Definitions/Nicely Normed Star-Algebras