Definition
144
[07C] A set \(Iβ X\) is an interval if for every \(x,zβ I\) and every \(yβ X\) with \(x{\lt}y{\lt}z\) we have \(yβ I\).
EDB β 07C
Managing blob in: Multiple languages
[07C] A set \(Iβ X\) is an interval if for every \(x,zβ I\) and every \(yβ X\) with \(x{\lt}y{\lt}z\) we have \(yβ I\).