abelian analyticity bidual bijective closedness functionals homotopic homotopy injective majorized nondegenerate nonnegativity pointwise preimages seminorm subadditive subbasis subcollection subcovering sublinear submultiplicative supersets supremum surjective ultrametric unital selfadjoint !self-adjoint selfadjointness !self-adjointness bosonic orthochronous functors subalgebra commutant involutive unitaries sesquilinear