 According to the Denjoy theorem, every orientation-preserving -diffeomorphism of the circle with an irrational rotation number is topologically conjugate to .An irrational rotation is a measure-preserving ergodic transformation, but it is not mixing.The Poincaré map for the dynamical system associated with the Kronecker foliation on a torus with angle is the irrational rotation by .