非負性、可加性、および全確率が 1 に等しい性質