Definition
95
[06N] A directed set is an ordered set \((X,≤)\) for which
\begin{equation} \label{eq:ord_ diretto} ∀ x,y∈ X ~ ∃ z∈ X,~ x≤ z∧ y≤ z\quad . \end{equation}
96
[06N] A directed set is an ordered set \((X,≤)\) for which