Подмножеством является бесконечным множеством