prefix matchings
different formulation of the transitive closure
part of a proof for monotonicity