pointclass

Today it means: A collection of sets of points (ordinarily understood to be elements of some perfect Polish space), characterized by some sort of definability property. Full definition →