We present necessary and sufficient conditions for reachable sets of discrete-time systems x(k+1) = F (k, x(k)) to be convex. In particular, the set of states reachable at a given time from a sufficiently small ellipsoid of initial states is always convex if F is smooth enough, and we provide explicit bounds on the size of those ellipsoids. Our results imply that outer discrete approximations w...