רוסית ⇄ אנגלית

коиндукция נ מתח
.מָתֵי	coinduction (метод для определения и доказательства свойств систем параллельно взаимодействующих объектов DaredevilS)