Increasing event (source code)

= Increasing event

An event in a partially ordered configuration space is increasing when changing coordinates upward cannot make a configuration leave the event.