Extended real line

From Free net encyclopedia