Which sets are finite?​