Esto se puede formalizar dando la siguiente regla de identidad para dos "n"-tuplas: