Definition:

trivialised