0
votes
0answers
52 views

About Kernel and the coimage of a function

Introduction I was serching for a concept of "equivalence relations" induced by an arbitrary function in a "natural" way and I found the concept of Kernel. But I'm not sure that I understand it and ...
7
votes
2answers
150 views

Is there a name for relations with this property?

Is there a name for relations $\rho : X \rightarrow Y$ such that for all $x,x' \in X$ and all $y,y' \in Y$ we have that the following conditions $$xy \in \rho$$ $$x'y \in \rho$$ $$xy' \in \rho$$ imply ...
1
vote
1answer
206 views

What is the difference between a binary relation and an equivalence class?

Is an equivalence class essentially a binary relation whose elements have an equivalence relation?