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