One step relation:
(a + b ~ c) => (a <= c, b <= c)
(m * b ~ c) => (b <= c) -- 1 <= m
(m ^ b ~ c) => (b <= c) -- 2 <= m
(a ^ m ~ c) => (a <= c) -- 1 <= m
Transitivity and Cycles...
Powered by Trac 1.0.7
By Edgewall Software.
Visit the Trac open source project athttp://trac.edgewall.org/