A duality theorem between increasing upper semicontinuous utility functions, upper semicontinuous indirect utility functions and continuous expenditure functions is presented. The constraint is permitted to be non-linear and non-convex. New arguments of proof replace those in the neoclassical theory of the household that rely on the geometry of convex sets. The duality theorem can be used to prove global and local integrability theorems for non-linearly constrained economic behavior.