Definition of lenz