Monotonicity is a property that preserves order. In logic, it means adding premises doesn't invalidate existing conclusions. In functions, it…