Definition Endorelation A binary relation is called endorelation or homogeneous if all sides use the same set , i.e.,