で定義される対合も持つ。