for D being non empty set
for x, y being Element of D holds {<*x,y*>} is Element of relations_on D