В предикате P(x, y) = «x ≠ y» используется операция

Знак ≠ означает логическую операцию неравенство (отрицание равенства).

Ответ: неравенство.