for R being Relation holds
( R is reflexive iff id (field R) c= R )