for R being Relation st ( dom R = {} or rng R = {} ) holds
R = {} ;