Every subset of a finite set is finite.