考える二つの多角形をそれぞれ点集合とみてとすれば、それら二つのデカルト積は点集合としてformula_1と書ける。