Let be an increasing seminorm on , meaning that, for all real-valued functions and in , if for all , then .
Тогда множество всех последовательностей formula_37, таких что:: formula_38,называется formula_39.