Choice functions over a finite set: A summary · Study