this post was submitted on 27 May 2024
963 points (99.2% liked)

196

16501 readers
3226 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 3 points 5 months ago (1 children)

I feel like this doesn't qualify as an ordering relationship, because of the circular nature of the wheel: for any two elements a and b (a ≠ b) on the wheel it's both true that a is further clockwise than b and b is further clockwise than a (just keep rotating). This violates the antisymmetry property that an ordering relation should have.

You can fix it by establishing some point on the wheel as "least clockwise" (essentially unfolding it into just a straight line) but that immediately establishes a total ordering.

[–] [email protected] 1 points 5 months ago

Measure acute only. Idk how to deal with 180° though