Lukas' Notes

Definition

Endorelation

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