18为了表明这是明确定义的,假设[S公司v(v),w个] = [S公司v(v)′,w个′],然后,紧接着前两个标准基向量e(电子)1,e(电子)2相同地映射到S公司v(v),w个和S公司v(v)′,w个′即。,v(v)=S公司v(v),w个e(电子)1=S公司v(v)′,w个′e(电子)1=v(v)'和w个=S公司v(v),w个e(电子)2=S公司v(v)′,w个′e(电子)2=w个′. 为了表明这个参数化是内射的,假设[S公司v(v),w个] ≠ [S公司v(v)′,w个′]. 那么,我们一定有(v(v),w个) ≠ (v(v)′,w个)因为其他原因,一个矛盾。