AssumptionComparison

Result of a comparison involving an interval-constrained value. true means the relation holds for every value allowed by the assumption. false means the opposite relation holds for every allowed value. undefined means both outcomes remain possible, so the relation cannot be proved from the available interval information.