广义笛卡尔积属于关系运算符中的 (40) 。两个元数分别为n目和m目的广义笛卡尔积是一个 (41) 列的元组集合，其形式定义如下： (42) ＝ (43) 。

（43）处填（）。

A．(t|t^n+m∧tⁿ∈R∧t^m∈S}

B．＜t|t≤tⁿ，t^m＞∧tⁿ∈R∧t^m∈S}

C．＜t|t≤tⁿ，t^m＞∧tⁿ∈R∧t^m∈S∧tⁿ[i]θt^m[j]}

D．＜t|t≤tn²，tm²＞∧tⁿ∈R∧t^m∈S∧tn^2-m2∈R-S