OGC定义的多边形有效性