有界双线性泛函

bounded bilinear functional