Visto del producto cartesiano de A por B, podemos definir una relación binaria, por ejemplo: mayor que, que se puede expresar: