for R being Relation st rng R misses dom R holds
iter (R,2) = {}