Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and …