Sejam e conjuntos finitos e não vazios tais que e . Então, das afirmações abaixo: 

  • I - é único; 

  • II -

  • III - a dupla ordenada é única; 

é(são) verdadeira(s)