測度空間("t", σ, "μ")、バナッハ空間("x", || · ||"x")および1 ≤ "p" ≤ +∞ が与えられたとき、ボホナー空間 "l""p"("t"; "x")は、対応するノルムが有限であるような全ての可測関数 "u" : "t" → "x" の空間の(等号はほとんど至る所についてのものであるような)コルモゴロフ商として定義される。