Define the focal length of a convex mirror?

For a source at infinity, it MINUS the distance between the mirror and the virtual image, where the reflected rays appear to come from. It is negative because it is behind the mirror.

You can also define it as -R/2, where R is the radius of curvature of the mirror surface.