矢印によって移る項の変形をweak簡約という。