有限集合の部分集合は有限集合