このように定義してもlk("j", "k")＝lk("k", "j")が成立する。