集合必须是有限的吗