Definition, synonyms and related words
A vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself as well as its derivatives up to a given order.