Proposition: Mengensystem der halboffenen Intervalle ist ein Halbring

Das System aller halboffenen Intervalle über ist ein Halbring über .