Directed iff Filtered in Dual Ordered Set

Theorem
Let $\left({S, \preceq_1}\right)$ be an ordered set.

Let $\left({S, \preceq_2}\right)$ be a dual ordered set of $\left({S, \preceq_1}\right)$

Let $X \subseteq S$.

Then $X$ is directed in $\left({S, \preceq_1}\right)$ $X$ is filtered in $\left({S, \preceq_2}\right)$

Sufficient Condition
Assume that
 * $X$ is directed in $\left({S, \preceq_1}\right)$

Thus $X$ is non-empty.

Let $x, y \in S$.

By definition of directed:
 * $\exists z \in S: x \preceq_1 z \land y \preceq_1 z$

Thus by definition of dual ordered set:
 * $z \preceq_2 x \land z \preceq_2 y$

Necessary Condition
Assume that
 * $X$ is filtered in $\left({S, \preceq_2}\right)$

Thus $X$ is non-empty.

Let $x, y \in S$.

By definition of filtered:
 * $\exists z \in S: z \preceq_2 x \land z \preceq_2 y$

Thus by definition of dual ordered set:
 * $x \preceq_1 z \land y \preceq_1 z$