implement restriction operator on subrelation