Recently there has been a great deal of interest in the theory of orthogonal polynomials. An extensive treatment, starting with special knowledge of the orthogonality measure, is given for orthogonal polynomials on a compact set and on an unbounded set.