Virtual, upright, and smaller images are always formed with convex mirrors.
Explanation: An image is virtual if the reflected light rays diverge, or do not meet. This is the case with a convex mirror. The image appears behind the actual object, in this case. An image created by a convex mirror is also always upright because the reflected rays do not intersect and continue in the direction (up or down relative to the x-axis) they were going in before. The images are also smaller because the light rays diverge.