作垂直平分线与图廓相交，与图廓一起构成泰森多边形。
定义.用formula_1表示一个距离函数为formula_2的空间（一个非空集合）。令 formula_3为一个指数集合，formula_4为空间formula_5的一个非空子集的有序元组。对应于formula_6的formula_7，称沃罗诺伊原胞，或称沃罗诺伊区域，是空间formula_5中所有到formula_6的距离不大于到其他位置formula_10（j≠k）的点集。或者说，如果定义formula_11为点formul