Faraday's law of induction
Lenz's law is contained in the rigorous treatment of Faraday's law of induction (The magnitude of EMF induced in a coil is proportional to the rate of change of the magnetic field), where it finds expression by the negative sign: