离散数学有逆元一定就有幺元?

问题描述:

离散数学有逆元一定就有幺元?