Dicke und dünne Mengen
1. S Í W heiße dünn falls S{1/s | sÎS} konvergiert.
R, Z0, Z1 sind dünn. Dünne Mengen bilden ein Ideal.
Þ Dünne Mengen und ihre Komplemente bilden eine
Boolesche Unteralgebra ÂÍ Ã(W) mit I ÏÂ.
Þ Jeder quantorenfreie (offene) Ausdruck definiert eine
dünne Menge oder das Komplement einer solchen.