Definition:

triviality