Definizione
219
[07T]Un sottoinsieme non vuoto \(Sβ X\) Γ¨ un segmento iniziale se \(β xβ S, β yβ X,~ y{\lt}x β yβ S\).
EDB β 07T
Managing blob in: Multiple languages
[07T]Un sottoinsieme non vuoto \(Sβ X\) Γ¨ un segmento iniziale se \(β xβ S, β yβ X,~ y{\lt}x β yβ S\).