A theorem, formulated by Hammersley and Peter Clifford, in 1971, that is concerned with the values at a set of interconnected locations. The theorem defines the class of probability distributions that are consistent with the Markov property that the value at a location is dependent only on the values of its immediate neighbours. See Markov random field.