Definition:Generated Monotone Class