Algebra.Normed

class Normed a