Partial order funcoids and reloids

Partial order funcoids and reloids formalize such things as “infinitely small” step rotating a circle counter-clockwise. This is “locally” a partial order as every two nearby “small” sets (where we can define “small” for example as having the diameter (measuring along the circle) less than $latex \pi$) are ordered: which is before in the order […]