  We extend Agler's notion of a function algebra defined in terms of test
functions to include products, in analogy with the practice in real algebraic
geometry, and hence the term preordering in the title. This is done over
abstract sets and no additional property, such as analyticity, is assumed.
Realization theorems give several equivalent ways of characterizing the unit
ball (referred to as the Schur-Agler class) of the function algebras. These
typically include, in Agler's terminology, a model (here called an Agler
decomposition), a transfer function representation, and an analogue of the
von~Neumann inequality. The new ingredient is a certain set of matrix valued
functions termed "auxiliary test functions" used in constructing transfer
functions. In important ses, the realization theorems can be strengthened so as
to allow applications to Pick type interpolation problems, among other things.
Principle examples have as the domain the polydisk $\mathbb D^d$. The algebras
then include $H^\infty(\mathbb D^d,\mathcal{L(H)})$ (where the unit ball is
traditionally called the Schur class) and $A(\mathbb D^d,\mathcal{L(H)})$, the
multivariable analogue of the disk algebra. As an application, it is shown that
over the polydisk $\mathbb D^d$, (weakly continuous) representations which are
$2^{d-2}$ contractive are completely contractive (hence having a commuting
unitary dilation), offering fresh insight into such examples as Parrott's of
contractive representations of $A(\mathbb D^3)$ which are not completely
contractive.
