実際、除去の後に導入が行われる順序なら、その導出を「正規;normal」であると称する。