schema_version = 1
law = "monotone"
variant = "Monotone"
natural_language = "Increasing an input does not reverse the operation's output order."
mathematical_statement = "forall a b . a <= b implies f(a) <= f(b)"
preconditions = ["f is unary", "a and b are ordered U32 values"]
postcondition = "a <= b => f(a) <= f(b)"
citation = "SPEC.md#algebraic-laws"
[[variables]]
name = "a"
type = "u32"
role = "input"
[[variables]]
name = "b"
type = "u32"
role = "input"