TRIVIALISATION

Definition of TRIVIALISATION