PER

partial equivalence relation