Timeline for Closure of one relation w.r.t other
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 25, 2013 at 2:22 | answer | added | Joel David Hamkins | timeline score: 1 | |
| May 25, 2013 at 1:36 | comment | added | Gowtham K | Changed tag to logic. R can be interpreted as path relation and R' as edge relation, but with an exception - R'(a,b) does not imply R(a,b). Therefore, R is not a transitive closure of R'. Instead, I start with a finite R and use this property to "grow" R. | |
| May 25, 2013 at 1:25 | history | edited | Gowtham K |
edited tags
|
|
| May 25, 2013 at 0:51 | comment | added | Jason Rute | Also this should be in the logic or category theory labels, not set theory. Although, it seems like this is better suited for math.stackexchange.com. You should also provide a bit of motivation/context if you have it. Is there a natural example of this property. It seems fairly contrived to me. | |
| May 25, 2013 at 0:44 | comment | added | Jason Rute | It is just me, or does $b$ have no purpose? (Except that $a$ is related to something.) | |
| May 24, 2013 at 23:44 | history | edited | Gowtham K | CC BY-SA 3.0 |
edited title
|
| May 24, 2013 at 23:37 | history | asked | Gowtham K | CC BY-SA 3.0 |