for R being Relation holds iter (R,0) = id (field R)