This question is about graphical modeling of joint probability functions, Markovian property and Markov random fields. 


Suppose we have an undirected graph G where each node represents a random variable and an edge between two nodes says that there is a probabilistic relation in between them. I want to model the joint probability of these variables and to simplify things I assume that the graph/nodes have Markovian property. This should let me write the joint as a factorization over ``local" clique potentials. 


In C. Bishop's Pattern Recog. and Machine Learning book, Chapter 8, pp. 386 ([pdf of the chapter](http://research.microsoft.com/en-us/um/people/cmbishop/prml/Bishop-PRML-sample.pdf)), it is said that the joint distribution is written as a product of potential functions over the **maximal cliques** of the graph: 


$p(x) = \frac{1}{Z} \prod\_C \psi\_C(x\_C)$ (eq. 8.39)


However, in Stan Li's [book on MRFs](http://www.nlpr.ia.ac.cn/users/szli/MRF_Book/MRF_Book.html), he says this factorization is done over **all possible cliques** of the graph: see equation (1.26) and (1.27) in <http://www.nlpr.ia.ac.cn/users/szli/MRF_Book/Chapter_1/node12.html#SECTION00323000000000000000>. 


Stan Li's explanation makes more sense to me. Which one do you think is correct? Or, might they be just different wording of the same fact? Any help would be appreciated. 



How to factorize the joint probability of an arbitrary graph whose nodes are random variables? 
As I read it, Bishop is asserting that for each maximal clique $C$ we may define the potential as $\psi\_C(x\_C) = \prod\_S U\_S(x\_S)$ where $S$ denotes cliques which are subsets of $C$ (and $U$ is the energy, as in the link from Li). This is how I interpret "[if $C$] is a maximum clique, and we define an arbitrary function over this clique, then including another factor deﬁned over a subset of these variables would be redundant." It is potentially confusing because, as typical in statistics, the symbol $\psi$ is overloaded to allow different functional form for any clique. In any case, Bishop defines each maximal clique potential in terms of a factorization over all subset cliques. Substitution gives back the other definition.


