# Category:Extended Real Number Space

Let $\overline \R$ denote the extended real numbers.
The (standard) topology on $\overline \R$ is the order topology $\tau$ associated to the ordering on $\overline \R$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7151047,"math_prob":0.9953147,"size":476,"snap":"2020-10-2020-16","text_gpt3_token_len":104,"char_repetition_ratio":0.16101696,"word_repetition_ratio":0.14492753,"special_character_ratio":0.21008404,"punctuation_ratio":0.086419754,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9828082,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-28T05:01:14Z\",\"WARC-Record-ID\":\"<urn:uuid:97fa00c9-b2a8-4d0d-82b8-64ac4ae30590>\",\"Content-Length\":\"31577\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e5abc1a5-e2b8-4e93-b319-7a158a289606>\",\"WARC-Concurrent-To\":\"<urn:uuid:d10e9797-02fe-415a-8968-de27dadb833f>\",\"WARC-IP-Address\":\"104.27.168.113\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Category:Extended_Real_Number_Space\",\"WARC-Payload-Digest\":\"sha1:5PPGGBB6NZ4DLVTDM4QF7IILZFME3L7D\",\"WARC-Block-Digest\":\"sha1:RUYGAVOJD7W3HFXE33RVHKA4TUK72I5I\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875147054.34_warc_CC-MAIN-20200228043124-20200228073124-00253.warc.gz\"}"}