We prove that a real-valued function f defined on an interval S in R is matrix convex if and only if for any natural k, for all families of positive operators { Ai }i = 1 k in a finite-dimensional Hilbert space, such that ...