また、"v" が離散付値であるとき、|•|を離散付値という。