Sobolev space
which takes a function formula_2 to another function formula_3. Here, formula_4 and formula_5 are some unspecified function spaces, such as Hardy space, "L"p space, Sobolev space, or, more vaguely, the space of holomorphic functions.