Monotone graph property (source code)

= Monotone graph property

A graph property is increasing and monotone when adding edges cannot destroy it.