La condición de identidad indica "[x, P, t] es [y, Q, t`] si y solo si x = y, P = Q y t = t`".