Głównie w starszych podręcznikach topologii i teorii mnogości rodzinę zbiorów analitycznych oznacza się przez A, a klasę zbiorów koanalitycznych oznacza się przez CA.

Przykłady Każdy borelowski podzbiór przestrzeni polskiej jest analityczny i koanalityczny. Dla ciągu niech Tak więc, dla każdego zbiór jest relacją dwuargumentową na zbiorze liczb naturalnych Rozważmy zbiór jest dobrym porządkiem na

Wówczas jest zbiorem koanalitycznym który nie jest borelowski. (A więc jego dopełnienie jest przykładem zbioru analitycznego który nie jest borelowski).

Własności Jeśli jest przestrzenią polską, jest funkcją ciągłą oraz to W szczególności, każdy ciągły obraz zbioru borelowskiego jest analityczny. Przeliczalne sumy i przekroje zbiorów analitycznych (koanalitycznych, odpowiednio) są analityczne (koanalityczne, odpowiednio). Nieskończony zbiór analityczny jest albo przeliczalny albo mocy continuum, nawet bez założenia hipotezy continuum.