Decreasing event (source code)

= Decreasing event

An event is decreasing when closing additional edges cannot destroy it. Its complement is an <increasing event>.