Poset Elements Equal iff Equal Weak Upper Closure

Theorem
Let $\left({S, \preceq}\right)$ be a poset.

Let $s,t \in S$.

Then $s = t$ iff:


 * $\mathop{\bar \uparrow} \left({s}\right) = \mathop{\bar \uparrow} \left({t}\right)$

where $\bar \uparrow$ denotes weak upper closure.

That is, iff, for all $r \in S$:


 * $s \preceq r \iff t \preceq r$

Necessary Condition
If $s = t$, then trivially also:


 * $\mathop{\bar \uparrow} \left({s}\right) = \mathop{\bar \uparrow} \left({t}\right)$

Sufficient Condition
Suppose that:


 * $\mathop{\bar \uparrow} \left({s}\right) = \mathop{\bar \uparrow} \left({t}\right)$

By definition of weak upper closure, we have:


 * $s \in \mathop{\bar \uparrow} \left({s}\right)$
 * $t \in \mathop{\bar \uparrow} \left({t}\right)$

and hence:


 * $s \in \mathop{\bar \uparrow} \left({t}\right)$
 * $t \in \mathop{\bar \uparrow} \left({s}\right)$

which by definition of weak upper closure means:


 * $t \preceq s$ and $s \preceq t$

Since $\preceq$ is antisymmetric it follows that $s = t$.