正値線型汎関数