4) e) R5 ⊆ N × N, tal que R5 = {(x, y) | x ≠ y}

A relação R5 é definida como um subconjunto do produto cartesiano entre os números naturais N e N, tal que R5 é composto por todos os pares ordenados (x, y) em que x é diferente de y.