Definition:Ordering on Minimally Inductive Set