Noun
co-induction (countable and uncountable, plural co-inductions) Alternative spelling of coinduction