where edge relation is monotonic (see paper)
where edge relation is monotonic (see paper)