Highly formalised models of union behaviour have been developed and are widely used within neoclassical 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...