一一映射與不可逆同時滿足，逗我呢。學數學嚴謹的老毛病又犯了。