零錐 "s" は "q" ＝0なる点全体の成す集合をいい、未来方向零錐 "n"+は零錐の中でも "x"0&gt;0なる点全体から成る。