ConceptCodomainModified just nowProperties 4Hide BooksChapter 2. Mathematical preliminaries JourneyProgramming Language Theory Statusmastered Tagsset-theory-relationA property of a function specifying the set of values it produces as outputs. Previous in ConceptsCode semantic modelNext in Concepts Combinator