同型写像では2つの集合の元の間に過不足なく1対1の対応関係が成立する．すなわち，同型写像には逆写像が存在する.
Mathematics is the language with which God has written the universe.
