extended real line

[ریاضیات] خط حقیقی مختوم، خط حقیقی گسترش یافته