有限子集

finite subset