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)[reply]

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