Seminorm-Induced Norm on the Quotient by the Null Space