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 […]
Intersecting elements of posets without least element
From the preprint of my article “Filters on Posets and Generalizations” (with little rewording): Definition 1. Let $latex \mathfrak{A}$ is a poset with least element $latex 0$. I will call elements $latex a$, $latex b$ in $latex \mathfrak{A}$ intersecting when exists c such that $latex c\ne 0$ and $latex c\subseteq a$ and $latex c\subseteq b$. […]