可数集的有限子集的全体