Рассматриваются задачи, связанные с определением положения точки на плоскости относительно области, ограниченной многоугольником. Для этого вводится не полностью определенная булева функция, аргументами которой являются предикаты, связанные со сторонами многоугольника. Положение точки определяется значением данной функции.