Norm acts in Subd normalization is a distributive law up to idempotent normalization is almost a distributive law Tags: normalization.