Weakly o-minimal structure
 
x
OK