Definizione
144
[07C] Un insieme \(I⊆ X\) è un intervallo se per ogni \(x,z∈ I\) e ogni \(y∈ X\) con \(x{\lt}y{\lt}z\) si ha \(y∈ I\).
EDB — 07C
Managing blob in: Multiple languages
[07C] Un insieme \(I⊆ X\) è un intervallo se per ogni \(x,z∈ I\) e ogni \(y∈ X\) con \(x{\lt}y{\lt}z\) si ha \(y∈ I\).