graph LR a["正交相似"] b["相似"] c["合同"] d["等价"] a ---> b a ---> c b ---> d c ---> d