根据函数的定义来做。函数f：A->B，则对于A中的每一个a，在B中都存在唯一的一个b与a对应。则在关系中是这样的关系，f是A*B上的一个关系（即为A*B的一个子集），所有序偶的前项的并集等于A，任意两个序偶的前项的交为空。选项A，满足条件，正确。选项B，所有序偶的前项的并集不等于A，不满足，错误。选项C，前两个序偶的前项相同，交不空，不满足，错误。选项D，同C。
