Relations and Functions
Relation
- Set of finite lists of objects
E.g., Parent: {(Richard Earl) (Richard Polly) (Debbie Don) … }
- Mapping: <list of objects> ® <truth value>
Function
- Relation that associates a unique nth element with a given n-1 elements
E.g, +: {(1 3 4) (17 23 40) (2 7 10 12 31) …}
- Referred to as (arg1, arg2, … ,argk, value)
- Mapping: <list of objects> ® <object>