Definition of "rigorization"

rigorization