Banach space
Abstractly speaking, this means that together with the -norm is a Banach space. This Banach space is the -space over .