Concept history

Concept translation created

Une relation réflexive sur un ensemble $X$ est une [[Relation (set theory)|relation]] $R$ telle que tout élément $x$ de $X$ est en relation avec lui-même :
$$\forall x\in X, xRx.$$