Talk:Covering relation
{{WikiProject banner shell|class=Start|1=
{{WikiProject Mathematics|importance=low}}
}}
Cover set?
In the section examples, it's currently written:
" On the real numbers with the usual total order ≤, the cover set is empty: no number covers another."
But the term "cover set" isn't explained before in the article nor in the sources. I would assume it should be something along the lines of "the set of all pairs (x,y) such that y covers x"; but I couldn't find a source that gave a definition of cover set that was compatible with this sentence. Could someone find a source that defines cover set as in this sentence, or should we change the sentence to
" On the real numbers with the usual total order ≤, no number covers another."