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
EDB — 06N
View
Authors:
"Mennucci , Andrea C. G."
.
Bibliography
Book index
Book index
- order, directed
- directed set , see order, directed
- order, directed
- order, with filtering property
- order
Managing blob in: Multiple languages