Escrito pelos nossos colegas lá do IST, em Lisboa, e publicado na
série "Cadernos de Lógica e Computação" da College Publications:
Elementos de Matemática Discreta
Jose Carmo, Paula Gouveia, Francisco Miguel Dionisio
http://www.collegepublications.co.uk/clc/?5
Link para o índice: http://goo.gl
Olás,
Vendo essa última discussão sobre "injetividade e sobrejetividade"
mais gerais do Arthur, lembrei de ter visto algo assim no livro do
Enderton de Teoria dos Conjuntos:
Def. Um conjunto a é single-rooted (de raiz única, digamos) se para
todo y na imagem de a existe um único x no dom
===
[ please distribute - apologies for multiple copies ]
===
Call for Papers for the
XVII Brazilian Logic Conference
(EBL 2014)
7-11 April 2014
Laboratório Nac
