Proper subinterval