Talk:Partial equivalence relation

I feel that the second sentence of the "Properties and applicatons" section is imprecisely stated. Here is the first part of that sentence, as it stands:

> However, given a set $$X$$ and a subset $$Y\subseteq X$$, an equivalence relation on $$Y$$ need not be a PER on $$X$$...

I think that the following would be more correct:

> However, given a set $$X$$ and a subset $$Y\subseteq X$$, a relation on $$X$$ that is an equivalence relation when restricted on $$Y$$ need not be a PER on $$X$$...

This is a nontrivial change because a relation on $$X$$ that is a proper subset (as a binary relation) of $$Y\times Y$$ is in fact a PER on $$X$$.

--Jasha10 (talk) 04:47, 26 May 2022 (UTC)


 * ✅ - I agree with you and have changed the text accordingly. - Jochen Burghardt (talk) 12:41, 26 May 2022 (UTC)