In labor market models as well as in exchange economies with indivisible goods gross substitutability is used as a property to guarantee the existence of competitive equilibria. This paper develops an easy way to check gross substitutability for utility functions concerning a finite set of...