for R, S being Relation st rng R misses rng S holds
R misses S