The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex free basic open semi-algebraic set. The main theorem of this paper is a converse, each such set arises from some LMI. The ...