Disce quasi semper victurus, vive quasi cras moriturus.
同型写像では2つの集合の元の間に過不足なく1対1の対応関係が成立する.すなわち、同型写像には逆写像が存在する.