Choice functions on a large set of alternatives