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
Vista
Autori:
"Mennucci , Andrea C. G."
.
Bibliografia
Indice analitico
Indice analitico
- ordinamento, diretto
- diretto , si veda ordinamento diretto
- ordinamento, diretto
- ordinamento, con proprietà filtrante
- ordinamento
Stai gestendo il blob in: Multiple languages