Definition of "trivials"

trivials