「変換法則を満たす」よりも、「書き換えができる」とかの方がとっつきやすいかも