In mathematics, convenient vector spaces are locally convex vector spaces satisfying a very mild completeness condition. Traditional differential calculus is effective in the analysis of finite-dimensional vector spaces and for Banach spaces. Beyond Banach spaces, difficulties begin to arise; in particular, composition of continuous linear mappings stop being jointly continuous at the level of Banach spaces, for any compatible topology on the spaces of continuous linear mappings.