To be fair, reals have nothing to do with this - the 'min' makes sense - and is ... | Hacker News

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

		Koshkin on March 12, 2020 \| parent \| context \| favorite \| on: What would Dijkstra do? Proving the associativity ... To be fair, reals have nothing to do with this - the 'min' makes sense - and is associative - in any ordered set (even partially ordered, if you accept that it may be undefined for some pairs).

arnarbi on March 12, 2020 [–]

Absolutely. Just going off the language used in the post which is maybe tailored to Brent's student audience.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact