## Spectral norm of a matrix

### Set

 context $n\in\mathbb N$
 definiendum $\Vert\cdot\Vert: \text{SquareMatrix}(n,\mathbb C)\to \mathbb R_+$
 postulate $\Vert A \Vert := \text{max}(\text{SingularVal}(A))$