Caros colegas:
Como denominar uma classe que não necessariamente é relação (isto é, a
mesma pode ter um elemento que não é par ordenado), mas cuja coleção de
seus pares ordenados é uma função?
Por exemplo, considere R = {<5,3>,7,<9,3>,<2,5>}. Considerando que 7 não é
par ordenado, então R não é uma relação, mas o subconjunto
{<5,3>,<9,3>,<2,5>} de R é uma função.
Tenho denominado em aulas classes como R de "funcionais", mas talvez esta
não seja a terminologia mais indicada, visto que algo "funcional" em
matemática seria, se não me engano, uma função cujos argumentos são também
funções.
Att.,
Arthur Buchsbaum
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
