If you have a finite number of non-empty sets you can construct a choice function by induction. Of course induction won't get you beyond a finite amount of sets.