ボロノイ図
距離空間 (X, d) 内の有限な部分集合 P ⊂ X が与えられたとき、各点 p ∈ P を母点またはサイトと呼び、これに対して、X の中で「P の点の中で p が最も近い」点の集合
V ( p ) = { x ∈ X ∣ ∀ q ∈ P [ d ( x , p ) ≤ d ( x , q ) ] } {\displaystyle V(p)=\{x\in X\mid \forall q\in P\;[d(x,p)\leq d(x,q)]\}}
を p の(ボロノイ)領域と呼び、P の全ての点の領域を集めた集合(の誘導するセル複体)をボロノイ図と呼ぶ。
ボロノイ領域の境界をボロノイ境界と呼び、各々のボロノイ境界の交点をボロノイ点と呼ぶ。