Teoria dos conjuntos/Explorando os axiomas da extensão, separação, par e união: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Albmont (discussão | contribs)
Ampliando e plantando sementinhas do Mal
Albmont (discussão | contribs)
Linha 33:
 
== Funções ==
Funções são um tipo especial de relação, satisfazendo as propriedades tradicionais. Em vez de ''((A, B), f)'' para a função, representa-se por: <math>f: A \to B\,</math>. Aqui, analogamente, ''f'' é o gráfico da função/relação; muitas vezes, por descuido de linguagem, usa-se ''função'' para ''f'' (e não para a ''((A, B), f)'') quando o objetivo é falar do seu ''gráfico'', e vice-e-versa.
 
Funções podem ser injetivas, sobrejetivas, bijetivas - tudo definido a partir dos axiomas!