まずその付加構造を定義する: