Establishing the equivalence between operators : theorem to establish a sufficient condition for two operators to produce the same ordering in a Faishare prioritization system

Theorem to establish a sufficient condition for two operators to produce the same ordering in a Faishare prioritization system