for X being non empty set
for R being strongly_reflexive Relation of X
for x being Element of X holds x <=_ R,x by defstr, RELAT_2:def 1;