一方向性
ある点
$ x
と距離
$ d
が与えられると
$ x
から
$ d
離れた点が一意に定まる性質