TRIVIALISATIONS

Definition of TRIVIALISATIONS