Dependent choice, for example. Or choice for well-ordered families, see https://mathoverflow.net/questions/118060