Characterizing the set of coherent lower previsions with a finite