等価式 ⊂ 関係式
でしょ