We prove a certain duality relation for orthogonal polynomials defined on a finite set. The result is used in a direct proof of the equivalence of two different ways of computing the correlation functions of a discrete orthogonal polynomial ensemble. Introduction This note is about a certain duality of orthogonal polynomials defined on a finite set. If the weights of two systems of orthogonal p...