> (7) A notação "Card(A)≤Card(B)", usada acima, é uma mera abreviatura > para "existe uma bijeção de A para B".
Como me apontou aqui um colega, nos vídeos, mais exatamente (e corretamente), o Alfredo usa esta notação, ligeiramente modificada, como uma abreviatura para "existe uma bijeção de A para *parte de* B". Trata-se, no fundo, justamente da tal *injeção* de A em B. > Para construir (ou verificar) > esta bijeção ninguém precisa saber o significado de Card(.), isto é, > ninguém precisa "saber contar". As injeções às vezes doem, mas são fundamentais. ;-) JM -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh-2NusmGVq8Y%2Bunds_eCrobyFeW_S16DgjzsSwNJsKRA%40mail.gmail.com.
