弱正規化
weak normalization
ある項が与えられたときに、うまく書き換えの手順を選べば何度かの書き換えの末にある
正規形
に辿り着くことができるような性質
定義
https://ja.wikipedia.org/wiki/正規化_(項書き換え)#定義