[判断] 

9、两个代数系统同构则两个集合元素间存在双射。