proper subinterval