差运算符（-）用于返回第一个关系中存在而第二个关系中不存在的元组，因此选项B正确。