a (set theory) Of a relation R on a set S, such that xRx for all members x of S (that is, the relation holds between any element of the set and itself).