设X.Y有限集,则/xuy/=/x/+/y/
出自:西安交通大学-机械工程-线性代数