Is every subset of a finite set is a finite?