We define a Wigner distribution function for a one-dimensional finite quantum system, in which the position and momentum operators have a finite (multiplicity-free) spectrum. The distribution function is thus defined on discrete phase-space, i.e. on a finite discrete square grid. These discrete Wigner functions possess a number of properties similar to the Wigner function for a continuous quant...