does there exist a choice function always for a family of set ?