universal property for the half line