设有关系R和S，与R-S等价的元组关系演算表达式是
·{t|R（t）∨┐s（t）}
·{t|R（t）∧┐S（t）}
·{t|（u）R（t∨┐S（u））
·{t| （u）R（t）∧┐S（u）}