Canonically enumerable class

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