Highly formalized models of union behaviour have been developed and are widely used within neo-classical economics. This approach is justified by the argument that most goals pursued by unions can be reduced to a wage (or wage-equivalent) - employment trade-off. However, the strong assumptions...