Наследственное конечное множество