II. Teoria dos Conjuntos - 5

4 Novembro 2021, 14:00 • António José Teiga Zilhão

O conceito de um par ordenado. Representação da noção de ordem no interior da Teoria dos Conjuntos. Definição de par ordenado de Kuratowski. Teorema dos pares ordenados - enunciado e demonstração. Definição de produto cartesiano. Exemplos de produtos cartesianos. Formas de representação gráfica de um produto cartesiano. Quadrados cartesianos. Definição de uma relação na Teoria dos Conjuntos como um subconjunto de um produto cartesiano entre conjuntos. Domínio e contradomínio de uma relação. Propriedades de relações. Relações de equivalência, classes de equivalência e partições. Funções como um tipo particular de relações.