Partial equivalence relation

From Free net encyclopedia