for X being set
for R being reflexive total Relation of X
for S being Subset of X holds R |_2 S is reflexive total Relation of S