Definizione
95
[06N] Un insieme diretto è un insieme (parzialmente) ordinato \((X,≤)\) per cui
\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
- ordinamento, diretto
- diretto , see ordinamento diretto
- ordinamento, diretto
- ordinamento, con proprietà filtrante
- ordinamento
Managing blob in: Multiple languages