“including a treatment of multi-valued functions, vector spaces, and convexity”