We prove that in a globally subanalytic family of convex bodies the subfamily of zonoids is log-analytic, and in particular it is definable in the o–minimal structure generated by globally subanalytic sets and the graph of the exponential function. This result establishes a connection between Model theory and Functional analysis.
