lemma RelationOperators.restrict_ext', and on top of that RelationProperties.runiq_restrict