Англо-русский научно-технический словарь:
canonically enumerable class
математика
канонически перечислимый класс