关于运算器在执行两个用补码表示的整数加法，下面判断是否溢出的规则中( )是正确的。

A．两个整数相加，若最高位(符号位)有进位，则一定发生溢出

B．两个整数相加，若结果的符号位为0，则一定发生溢出

C．两个整数相加，若结果的符号位为1，则一定发生溢出

D．两个同号的整数相加，若结果的符号位与加数的符号位相反，则一定发生溢出

设关系及和S的元数分别是r和s，则它们的笛卡儿积是多少个元组的集合

A．r+s

B．r×s

C．r∩s

D．r∈s