, 3 ed., Lisboa, 2001, p. 20 1 A função positiva, traduzindo essencialmente a autoridade do caso julgado, através da qual a solução nele compreendida se torna vinculativa no quadro de outros casos a ser decididos no mesmo ou em outros tribunais, corresponde à proibição de contradição mencionada no n. 2 do art.