Descriptive set theory

In der Mathematik ist ein Cantorraum , benannt nach Georg Cantor , eine topologische Abstraktion der klassischen Cantormenge : Ein topologischer Raum ist ein Cantorraum, wenn er homöomorph zur Cantormenge ist.

In der mathematischen Logik befasst sich die deskriptive Mengenlehre mit bestimmten Klassen von Teilmengen der reellen Zahlen und anderer polnischer Räume , die ein bestimmtes Definierbarkeitskriterium erfüllen.

In der allgemeinen Topologie ist eine Gδ - Menge eine Teilmenge eines topologischen Raums , die als abzählbarer Durchschnitt offener Mengen definiert ist .

In der allgemeinen Topologie ist eine magere Menge (auch als Menge erster Kategorie bezeichnet ) eine Teilmenge eines topologischen Raums , die eine abzählbare Vereinigung von Teilmengen ist, die in keiner nichtleeren