Definition
219
[07T]A nonempty subset \(Sβ X\) is an initial segment if \(β xβ S, β yβ X,~ y{\lt}x β yβ S\).
EDB β 07T
Managing blob in: Multiple languages
[07T]A nonempty subset \(Sβ X\) is an initial segment if \(β xβ S, β yβ X,~ y{\lt}x β yβ S\).