Makes sense if @ is reflexive, more generally speaking :) I have no problem rede... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wwwhizz on Aug 14, 2016 \| parent \| context \| favorite \| on: What is it like to understand advanced mathematics... Makes sense if @ is reflexive, more generally speaking :) I have no problem redefining < to make c < a true, that's just a matter of interpretation

Smaug123 on Aug 15, 2016 | [–]

Or we might be working in a preorder which has that particular a<b<c<a loop.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact