Halboffenes Intervall