This paper introduces a general and powerful framework for the analysis of uncertain systems, encompassing linear fractional transformations, the behavioral approach for system theory and the integral quadratic constraint formulation. In this approach, a system is defined by implicit equations, and the central analysis question is to test for solutions of these equations. In Part I, the general properties of this formulation are developed, and computable necessary and sufficient conditions are derived for a robust performance problem posed in this framework
