# Definition:Reflexive Transitive Closure/Reflexive Closure of Transitive Closure

Let $\RR$ be a relation on a set $S$.
The reflexive transitive closure of $\RR$ is denoted $\RR^*$, and is defined as the reflexive closure of the transitive closure of $\RR$:
$\RR^* = \paren {\RR^+}^=$
{"ft_lang_label":"__label__en","ft_lang_prob":0.8622937,"math_prob":0.9996798,"size":403,"snap":"2022-05-2022-21","text_gpt3_token_len":109,"char_repetition_ratio":0.20551379,"word_repetition_ratio":0.0,"special_character_ratio":0.24565756,"punctuation_ratio":0.07575758,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9924949,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-05-22T14:48:22Z\",\"WARC-Record-ID\":\"<urn:uuid:3e6532cd-99f4-40ba-bd48-27d8664d6150>\",\"Content-Length\":\"35705\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:adb8d7bd-99b7-4123-a8f4-a6fb9986dc47>\",\"WARC-Concurrent-To\":\"<urn:uuid:d16ff5e3-5edf-4391-827c-15ae6662a09b>\",\"WARC-IP-Address\":\"104.21.84.229\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Reflexive_Transitive_Closure/Reflexive_Closure_of_Transitive_Closure\",\"WARC-Payload-Digest\":\"sha1:3SUCAP2LSNIPHAVUDDKFEJCRWOD73ZVV\",\"WARC-Block-Digest\":\"sha1:7JQ3CZNGT322OVH5C75TADRMYVZANC62\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-21/CC-MAIN-2022-21_segments_1652662545548.56_warc_CC-MAIN-20220522125835-20220522155835-00756.warc.gz\"}"}