Grey subsets of Polish spaces

We develop the basics of an analogue of descriptive set theory for functions on a Polish space $X$. We use this to define a version of the small index property in the context of Polish topometric groups, and show that Polish topometric groups with ample generics have this property. We also extend classical theorems of Effros and Hausdorff to the topometric context.