设X,Y是有限集,则|X×Y|=|X|·|Y|。()
出自:兰州工业大学线性代数