This paper presents the first part of a general study of the structure of nine preference-based choice functions introduced by Barrett et al.2 More precisely, we show that, as for crisp total pre-orders, first and last alternatives exist in a finite set of alternatives equipped with a strongly...