?  
Ist es nicht ungefähr so: Eine „Gleichung zwischen zwei Induktionen” ist eine Induktion mit einer Gleichung?