Timeline for Do you need to say what left-unique and right-unique means?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2010 at 20:21 | vote | accept | rgrig | ||
| Mar 11, 2010 at 20:18 | history | edited | rgrig | CC BY-SA 2.5 |
i'm more precise about what i need to say
|
| Mar 11, 2010 at 17:43 | comment | added | rgrig | @Harald: I guessed the same way as you did. @Neel: Thanks. At the moment I'm inclined to say we must find an injective and functional relation between X and Y, and not define injective/functional. | |
| Mar 11, 2010 at 14:21 | comment | added | Neel Krishnaswami | People in formal methods know the standard usages, which are "injective" and "functional". If you're worried about "functional" being taken to mean "higher-order function", then use the phrase "functional relation", as in "$R$ is a functional relation". | |
| Mar 11, 2010 at 13:28 | comment | added | Harald Hanche-Olsen | I certainly did not know the terms left-unique and right-unique, and moreover when I tried to guess what they meant, I ended up with the opposite meanings. Left-unique, I reasoned, must mean that a pair in the relation is uniquely determined by its left member, i.e., functional. But that is the definition of right-unique. Go figure | |
| Mar 11, 2010 at 13:18 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Mar 11, 2010 at 13:11 | history | asked | rgrig | CC BY-SA 2.5 |