Definizione
219
[07T]Un sottoinsieme non vuoto \(S⊆ X\) è un segmento iniziale se \(∀ x∈ S, ∀ y∈ X,~ y{\lt}x ⇒ y∈ S\).
EDB — 07T
Stai gestendo il blob in: Multiple languages
[07T]Un sottoinsieme non vuoto \(S⊆ X\) è un segmento iniziale se \(∀ x∈ S, ∀ y∈ X,~ y{\lt}x ⇒ y∈ S\).