间隔数