We investigate univalent holomorphic functions f defined on the unit disk 𝔻 such that f(𝔻) is a hyperbolically convex subset of 𝔻; there are a number of analogies with the classical theory of (euclidean) convex univalent functions. A subregion Ω of 𝔻 is called hyperbolically convex (relative to hyperbolic geometry on 𝔻) if for all points a,b in Ω the arc of the hyperbolic geodesic in 𝔻 connecting a and b (the arc of the circle joining a and b which is orthogonal to the unit circle) lies in...