2 ms·

A correction. A relation is not a function but a function is a relation. A function is a restriction of a relation such that for each thing_a in A and thing_b i

by Dn_Ab 15y ago

A correction. A relation is not a function but a function is a relation. A function is a restriction of a relation such that for each thing_a in A and thing_b in B, for a pairing of (thing_a's,thing_b's) by some relation f,each thing_a can only be paired with one thing_b in B.

shasta 15y ago
A relation between X and Y is a function X -> Y -> Bool.
- Dn_Ab 15y ago
  Yes, sorry, you are right. You were talking about representable/modelled by - which I was conflating with Equivalent as Is. A subtle distinction I missed.