Uniformly definable class

математика равномерно определимый класс