用反证法证明，假设g不是单射，不妨设B中元素a,b由g映射到C中同一元素c上。则因为f是满射，所以存在A中元素d,f分别由f映射到a,b上，所以d,f由f⊙g映射到c上，即f⊙g不为单射。与条件矛盾，假设不成立。所以g一定为单射
