("a", ∗"a"),("b", ∗"b")を基点を持つ同種の構造をもつ集合とし、"f" : "a" → "b", "f"(∗"a")＝ ∗"b" を構造を保つ準同型とする。