sudgylacmoe | Transitivity is Redundant (in Well-Ordered Sets) @sudgylacmoe | Uploaded November 2023 | Updated October 2024, 4 hours ago.
Here's a fun fact: transitivity is redundant in the definition of well-ordered sets! While these "redundant condition" facts usually aren't that useful, I've still always found them interesting.

Discord: discord.gg/3Zj59zA2Rg

Patreon: patreon.com/sudgylacmoe

Patreon Supporters:
Christoph Kovacs
David Johnston
Jason Killian
p11
Richard Penner
Rosario
trb