设有如下关系：

则与关系代数表达式π_1，4(r
s)等价的元组演算表达式为：t|
u
v(r(u)
s(v)
(16) ；关系代数表达式r÷s的结果集为 (17) 。