for X, R being set st X is without_pairs & R is Relation holds
X misses R ;