the set of values that a function is allowed to take
Examples of 'codomain' in a sentence
codomain
Any structured recursive equation defines a coinductive relation between the intended domain and intended codomain (the "coinductive graph").
Tarmo Uustalu 2012, 'Structured general corecursion and coinductive graphs [extended abstract]', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1202.3502v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)