Define a new relation for

max