Semiorders and Choice Functions