https://indielullabies.com/what-is-meant-by-normed-space/