海词手机词典
  • 在有界集上的有界函数的一个特征