Wiktionary
coinductive
a. Of, pertaining to, or producing coinduction
a. Of, pertaining to, or producing coinduction