=は同値律と代入原理を満たす関係として導入するのが、前提としてあるんかなと。