half-open interval topology