Normalization property (abstract rewriting)