К логическому описанию геометрических фигур

В работе исследуется проблема эквивалентности для формул логики предикатов, используемых при описании геометрических объектов, построенных из заданного набора базисных фигур с помощью теоретико-множественных операций $\cap,\cup,\overline{\phantom{a}}$. Устанавливается, что для конечного базиса в классе формул указанного вида с ограниченным числом переменных имеется конечная полная система тождеств.