Ontify
Banach space of functions equipped with a norm that is a combination of Lᵖ-norms of the function itself and its weak derivatives up to a given order.