Implemented minus-projection of relations