PER
partial equivalence relation