>>588
>同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はある

何言ってんだ?
同値関係の定義の変更は、設定自体の変更だからダメだろ