Definition:Monotone (Order Theory)/Sequence