[...] After lengthy discussions here in Warszawa it has been decided to propose [...] for the hierarchies built on the class of predicates recursive in C by quantifying over Among the advantages we cite: [...] it is easily extended to hierarchies defined by quantifiers of higher type [...] [Tłumaczenie: Wydaje się, że wprowadzenie prostych, jednorodnych i łatwych do zapamiętania oznaczeń dla klas różnych hierchii jest szczególnie pożądane. [...] Po dłuższych dyskusjach tutaj w Warszawie postanowiono zaproponować [...] dla hierarchii zbudowanych na klasie predykatów rekurencyjnych w C przez kwantyfikowanie nad .].
Z czasem symbolika ta przyjęła się w całej teorii mnogości. Często jednak w topologii oraz w starszych podręcznikach teorii mnogości dla początkowych klas borelowskich używa się tradycyjnej symboliki: elementy klas są po prostu nazywane odpowiednio zbiorami otwartymi i domkniętymi (nie mają odrębnej symboliki), elementy klasy są nazywane zbiorami typu Fσ, a elementy klasy – zbiorami typu Gδ, elementy klas są nazywane odpowiednio zbiorami typu