Timeline for name for a subset of a binary relational structure which is "closed downward"?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2014 at 11:00 | comment | added | Peter LeFanu Lumsdaine | Or just left–closed, to keep the wording slightly simpler. | |
| Jan 7, 2014 at 23:57 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |