for X being set
for R being Relation holds
( R * (id X) c= R & (id X) * R c= R )