1053228428

— 330

M. K u r a t o w s k i, le th. 18 qui est une generalisation du th. (II) de la meme notę au cas de 2 dimensions:

18. Si A et B sont des ensembles F_m et G? a la fois,

plans bornćs et congruents, on a: A — B ^ B — A.

Les propositions precedentes (15—18) peuvent etre rendues plus generales a l’aide du theoreme suivant:

19 (T). Si une classe K d’ensembles remplit la condition; si A e K et A = A_v alors A_x s K et A — A{=f A_x—A (resp

A — A_x ⁿ A_t—A),

alors elle remplit aussi la condition:

si A e K, A 9^ A_v C = C_v A C C et A_x dC_v alors on

_a; C — A ~ C_x — A₁ (resp. C-A^C—A_X).

Citons comme exemples des classes K remplissant Thypothese du th. 19 les suivantes: classe d’ensembles finis; d’ensembles lineaires bornes (th. 15); fermes compacts (th. 17) etc.