A homogeneous relation on a set XXX is a binary relation where the two sets being related are both XXX.