== Summary ==The treaty did the following:* Established the frontier between the French Third Republic and the German Empire, which involved the ceding of 1,694 villages and cities under French control to Germany in::* Alsace: the French departments of Bas-Rhin and Haut-Rhin, except for the city of Belfort and its territory;:* Lorraine: the French department of Moselle, one-third of the department of Meurthe, including the cities of Château-Salins and Sarrebourg, and the arrondissements Saales and Schirmeck in the department of Vosges.
V izrazu je formula_4 je podmnožica množice formula_7, kjer je formula_8 potenčna množica množice formula_3.