同型の定義と記号表現