for Y being set
for R being Relation of Y st R is_reflexive_in Y holds
Y = field R