judith gersting mathematical structures for computer science
in a domain to exactly one element in a range. Role in Computer Science: Model algorithms, transformations, and mappings between data structures. Relations and Orders Relations Definition: A subset of the Cartesian product of two sets, indicating a