本题考察的是关系代数中笛卡尔积的基本概念。
笛卡尔积是关系代数中的一种二元操作，用于将两个关系中的每一个元组进行组合，生成一个新的关系。设关系R有m个元组，关系S有n个元组，则R×S表示所有可能的有序对 (r, s)，其中r∈R，s∈S。
A选项 n：只表示了S中的元组数，与笛卡尔积的结果无关，错误。
B选项 m：只表示了R中的元组数，也不正确。
C选项 m+n：表示的是两关系元组数的总和，而不是它们之间的组合数，错误。
D选项 m×n：正确地表示了笛卡尔积中结果元组的数量。每个R中的元组都与S中的n个元组组合，总共生成m×n个元组，正确。
因此，选项 D 正确。