. "extended real-valued" . "Extended real number line" . "extended real numbers" . "Extended real number" . . . . "\u2212\u221E" . . . "extended real-valued functional" . "can be extended" . "+\u221E" . "extended real-valued function" . "extended real line" . . "extended real" . . . . "extended real number line" . "'''+\u221E''', '''−\u221E'''" . "extended real number" . . "extended" . . "positive or negative infinity" . "extended reals" . "negative infinity" . "Extended real number line" . "infinity" . .