O que são diagramas de Hasse?
Um diagrama de Hasse é uma representação compacta de um conjunto parcialmente ordenado finito, frequentemente chamado de poset. Um poset é um conjunto acompanhado de uma relação que indica quando um elemento está abaixo, vem antes, está contido em, divide ou, de outro modo, precede outro elemento.
A palavra parcial é importante. Em uma reta numérica comum, quaisquer dois números podem ser comparados: um é menor, maior ou igual ao outro. Em uma ordem parcial, alguns pares podem ser incomparáveis. Por exemplo, na ordem de divisibilidade dos divisores de \(12\), \(3\) divide \(6\) e \(12\), mas \(3\) e \(4\) não são comparáveis porque nenhum divide o outro.
Um diagrama de Hasse facilita a visualização dessa estrutura ao mostrar apenas os passos essenciais da ordem. Em vez de exibir todos os pares da relação, ele remove os laços em si mesmos e as relações já implícitas pela transitividade. As arestas restantes são relações de cobertura.
Para um poset finito, o diagrama é útil porque mostra:
-
quais elementos estão imediatamente acima ou abaixo de outros elementos;
-
onde estão os elementos minimais e maximais;
-
se existe um elemento mínimo ou máximo;
-
como cadeias e anticadeias se encaixam na ordem;
-
se o poset se comporta como um reticulado, no qual cada par tem um ínfimo e um supremo.
Por que os diagramas de Hasse são importantes
Os diagramas de Hasse transformam regras abstratas de relações em uma estrutura visual. Por isso, são especialmente úteis em matemática discreta, combinatória, ciência da computação, álgebra e teoria dos conjuntos.
Os estudantes costumam conhecer os diagramas de Hasse ao estudar divisibilidade, inclusão de subconjuntos, pré-requisitos, grafos de dependência, reticulados booleanos ou reticulados finitos. Em cada caso, o diagrama ajuda a responder perguntas que são mais difíceis de perceber em uma lista longa de pares ordenados.
Por exemplo, se uma relação contém:
$$
a \le b,\quad b \le c,\quad a \le c
$$
o par \(a \le c\) é importante, mas não precisa de uma aresta própria no diagrama de Hasse. Ele já está implícito pelo caminho de \(a\) até \(b\) e depois até \(c\). Remover essa aresta extra torna a estrutura mais clara.
Termos importantes
-
Conjunto: A coleção de elementos que estão sendo ordenados.
-
Relação binária: Uma regra que relaciona determinados pares ordenados de elementos.
-
Ordem parcial: Uma relação reflexiva, antissimétrica e transitiva.
-
Poset: Um conjunto acompanhado de uma ordem parcial.
-
Elementos comparáveis: Dois elementos dos quais pelo menos um está relacionado ao outro.
-
Elementos incomparáveis: Dois elementos nos quais nenhum está abaixo do outro.
-
Relação de cobertura: Um passo direto na ordem, sem elemento intermediário entre os dois extremos.
-
Redução transitiva: O processo de remover arestas da relação que estão implícitas em caminhos mais longos.
-
Elemento minimal: Um elemento sem nada estritamente abaixo dele.
-
Elemento maximal: Um elemento sem nada estritamente acima dele.
-
Elemento mínimo: Um elemento que está abaixo de todos os elementos do poset.
-
Elemento máximo: Um elemento que está acima de todos os elementos do poset.
-
Cadeia: Um subconjunto cujos elementos são comparáveis dois a dois.
-
Anticadeia: Um subconjunto cujos elementos são incomparáveis dois a dois.
-
Ínfimo (meet): O maior limitante inferior de dois elementos, representado por \(a \land b\).
-
Supremo (join): O menor limitante superior de dois elementos, representado por \(a \lor b\).
-
Reticulado: Um poset no qual cada par de elementos tem um único ínfimo e um único supremo.
Como funcionam os diagramas de Hasse
Um diagrama de Hasse começa com uma ordem parcial. Nas ordens parciais fracas normalmente usadas em diagramas de Hasse finitos, a relação deve satisfazer três propriedades.
Primeiro, todo elemento está relacionado consigo mesmo:
$$
\forall a \in A,\quad a \le a
$$
Isso é chamado de reflexividade.
Segundo, dois elementos diferentes não podem estar relacionados nas duas direções:
$$
a \le b \land b \le a \implies a = b
$$
Isso é chamado de antissimetria.
Terceiro, a relação deve passar por elementos intermediários:
$$
a \le b \land b \le c \implies a \le c
$$
Isso é chamado de transitividade.
Quando uma ordem parcial válida está disponível, o diagrama de Hasse mantém apenas as relações de cobertura. A relação de cobertura geralmente é escrita como \(a \prec b\), o que significa que \(b\) cobre \(a\):
$$
a \prec b \iff a < b \text{ and there is no } c \in A \text{ such that } a < c < b
$$
Em termos simples, \(a \prec b\) significa que \(a\) está abaixo de \(b\), e não há nenhum elemento estritamente entre eles.
Modo de divisibilidade
Em um poset de divisibilidade, um número está abaixo de outro quando o divide exatamente. Por exemplo, com:
$$
A = \{1,2,3,4,6,12\}
$$
a relação é:
$$
a \le b \iff a \text{ divides } b
$$
Alguns pares verdadeiros da relação são:
$$
1 \le 2,\quad 2 \le 4,\quad 4 \le 12,\quad 1 \le 12
$$
Mas \(1 \le 12\) não é desenhado como uma aresta direta do diagrama de Hasse, pois há elementos intermediários como \(2\), \(4\) e \(6\). As arestas de cobertura são:
-
\(1 \prec 2\)
-
\(1 \prec 3\)
-
\(2 \prec 4\)
-
\(2 \prec 6\)
-
\(3 \prec 6\)
-
\(4 \prec 12\)
-
\(6 \prec 12\)
Este exemplo tem um elemento mínimo, \(1\), e um elemento máximo, \(12\).
Modo de subconjuntos
Em um poset de inclusão de subconjuntos, um conjunto está abaixo de outro quando está contido nele. Por exemplo:
$$
A = \{\{\}, \{a\}, \{b\}, \{a,b\}\}
$$
O conjunto vazio está abaixo de todos os conjuntos neste exemplo:
$$
\{\} \subseteq \{a\},\quad \{\} \subseteq \{b\},\quad \{\} \subseteq \{a,b\}
$$
As arestas de cobertura são:
-
\(\{\} \prec \{a\}\)
-
\(\{\} \prec \{b\}\)
-
\(\{a\} \prec \{a,b\}\)
-
\(\{b\} \prec \{a,b\}\)
A aresta de \(\{\}\) até \(\{a,b\}\) não é desenhada, pois está implícita por \(\{a\}\) ou por \(\{b\}\).
Modo de pares personalizados
Em uma relação personalizada, os pares ordenados fornecidos definem a relação. O ponto principal é que uma relação personalizada já deve incluir os pares reflexivos e transitivos necessários para uma ordem parcial.
Por exemplo, os pares:
$$
(a,a),\ (b,b),\ (c,c),\ (a,b),\ (b,c)
$$
ainda não definem uma ordem parcial, pois a transitividade exige:
$$
(a,c)
$$
Sem esse par, a relação afirma \(a \le b\) e \(b \le c\), mas não afirma \(a \le c\). Um diagrama de Hasse só deve ser construído depois que a relação passar pelas verificações de ordem parcial.
Exemplos práticos de diagramas de Hasse
Exemplo 1: divisores de 12
Para o conjunto:
$$
\{1,2,3,4,6,12\}
$$
ordenado por divisibilidade, \(1\) fica na parte inferior porque divide todos os elementos. \(12\) fica na parte superior porque todos os elementos o dividem.
A relação contém muitos pares verdadeiros. Por exemplo:
$$
1 \le 4,\quad 1 \le 6,\quad 2 \le 12,\quad 3 \le 12
$$
Mas eles não são necessariamente relações de cobertura. O diagrama mantém apenas os passos imediatos. Por isso, \(2\) se conecta diretamente a \(4\) e \(6\), mas não diretamente a \(12\).
Este poset também é um reticulado. Para quaisquer dois divisores de \(12\), o ínfimo é o máximo divisor comum entre eles, e o supremo é o mínimo múltiplo comum dentro do mesmo conjunto de divisores. Por exemplo:
$$
2 \land 3 = 1
$$
$$
2 \lor 3 = 6
$$
Exemplo 2: subconjuntos de um conjunto com dois elementos
Para o conjunto das partes de \(\{a,b\}\), ordenado por inclusão de subconjuntos, os elementos são:
$$
\{\},\quad \{a\},\quad \{b\},\quad \{a,b\}
$$
O conjunto vazio é o elemento mínimo, e o conjunto completo é o elemento máximo.
O ínfimo de dois subconjuntos é a interseção deles:
$$
\{a\} \land \{b\} = \{\}
$$
O supremo de dois subconjuntos é a união deles:
$$
\{a\} \lor \{b\} = \{a,b\}
$$
Este é um dos exemplos mais simples de um reticulado finito.
Exemplo 3: uma relação que ainda não é uma ordem parcial
Suponha que uma relação personalizada em \(\{a,b,c\}\) contenha:
$$
(a,a),\ (b,b),\ (c,c),\ (a,b),\ (b,c)
$$
Os pares reflexivos estão presentes, mas falta o par transitivo \((a,c)\). Como uma ordem parcial válida deve satisfazer:
$$
a \le b \land b \le c \implies a \le c
$$
Essa relação falha na verificação de transitividade. O próximo passo correto não é desenhar o diagrama de Hasse ainda, mas corrigir a relação adicionando o par ausente.
Como interpretar o resultado
Um resultado que indica que a relação é uma ordem parcial significa que ela passou pelas verificações de reflexividade, antissimetria e transitividade. Depois disso, o diagrama de Hasse pode ser interpretado como o diagrama de relações de cobertura do poset.
Uma aresta de cobertura de \(a\) até \(b\) significa:
$$
a \prec b
$$
Isso é mais forte do que simplesmente afirmar \(a \le b\). Significa que \(a\) está imediatamente abaixo de \(b\) na ordem, sem elemento intermediário entre eles.
Elementos minimais e maximais descrevem extremos locais:
-
Um elemento minimal não tem nenhum elemento distinto abaixo dele.
-
Um elemento maximal não tem nenhum elemento distinto acima dele.
Elementos mínimos e máximos descrevem extremos globais:
-
Um elemento mínimo está abaixo de todos os elementos.
-
Um elemento máximo está acima de todos os elementos.
Todo elemento mínimo é minimal, mas um elemento minimal não precisa ser mínimo. Um poset pode ter vários elementos minimais, e nenhum deles precisa estar abaixo de todos os outros. A mesma distinção se aplica a elementos máximos e maximais.
Um resultado sim para reticulado significa que cada par de elementos tem exatamente um ínfimo e exatamente um supremo. A existência isolada de um elemento mínimo ou máximo não basta para garantir que um poset seja um reticulado.
Uma cadeia máxima é o maior subconjunto identificado cujos elementos podem ser comparados em um único caminho ordenado. Uma anticadeia máxima é o maior subconjunto identificado no qual nenhum par de elementos distintos é comparável.
Erros e equívocos comuns
Tratar todo par da relação como uma aresta do diagrama
Um diagrama de Hasse não desenha todo par verdadeiro da relação. Ele desenha apenas as relações de cobertura. Se \(a \le c\) já está implícito por \(a \le b\) e \(b \le c\), a aresta direta de \(a\) até \(c\) é removida.
Esquecer os pares reflexivos no modo personalizado
Uma ordem parcial fraca deve incluir \((a,a)\) para todo elemento \(a\). No modo de pares personalizados, esses pares devem fazer parte da relação. Eles não são inferidos automaticamente.
Esquecer os pares transitivos no modo personalizado
Se \((a,b)\) e \((b,c)\) estão incluídos, então \((a,c)\) também deve ser incluído para garantir a transitividade. O diagrama de Hasse pode remover posteriormente a aresta visual direta, mas a própria relação ainda precisa desse par.
Confundir minimal com mínimo
Um elemento pode ser minimal sem ser mínimo. Minimal significa que nada está abaixo dele. Mínimo significa que ele está abaixo de tudo.
Por exemplo, em um poset com dois elementos inferiores incomparáveis, ambos podem ser minimais, mas nenhum é mínimo.
Confundir maximal com máximo
Um elemento pode ser maximal sem ser máximo. Maximal significa que nada está acima dele. Máximo significa que tudo está abaixo dele.
Um poset finito pode ter vários elementos maximais.
Supor que elementos mínimo e máximo formam um reticulado
Um reticulado exige que cada par de elementos tenha um único ínfimo e um único supremo. Ter um elemento inferior e um elemento superior pode ajudar, mas isso não resolve automaticamente todos os pares intermediários.
Usar rótulos inválidos para o modo de relação selecionado
O modo de divisibilidade precisa de inteiros diferentes de zero. O modo de subconjuntos precisa de rótulos no estilo de conjuntos, como \(\{\}\), \(\{a\}\) ou \(\{a,b\}\). O modo de pares personalizados precisa de pares que usem elementos da lista atual.
Quando usar diagramas de Hasse
Use diagramas de Hasse quando precisar entender a estrutura de uma ordem parcial finita.
Eles são especialmente úteis para:
-
verificar se uma relação se comporta como uma ordem;
-
estudar a divisibilidade entre inteiros;
-
estudar a inclusão de subconjuntos e os conjuntos das partes;
-
visualizar reticulados finitos;
-
identificar elementos minimais, maximais, mínimos e máximos;
-
comparar cadeias e anticadeias;
-
simplificar uma relação densa removendo arestas transitivas;
-
ensinar ou aprender matemática discreta e teoria da ordem.
Limitações e pontos importantes
Um diagrama de Hasse só é válido na medida em que a relação por trás dele é válida. Se a relação não for reflexiva, antissimétrica e transitiva, ela não será uma ordem parcial fraca, e o diagrama não deverá ser interpretado como um diagrama de poset.
Para conjuntos finitos, os diagramas de Hasse geralmente são fáceis de administrar quando o número de elementos é pequeno. À medida que o conjunto cresce, o diagrama pode ficar cheio mesmo quando a matemática está correta. Uma representação compacta pode ocultar simetrias, e diferentes disposições podem fazer o mesmo poset parecer mais fácil ou mais difícil de entender.
Esta calculadora foi projetada para conjuntos de entrada finitos e limita o número de elementos a 18 para manter a legibilidade. Para toda ordem parcial válida dentro desse limite, ela calcula uma cadeia máxima e uma anticadeia máxima exatas; entradas além desse limite de legibilidade são rejeitadas antes que esses resultados sejam solicitados. Ela não infere pares reflexivos ou transitivos ausentes no modo personalizado.
Não há arredondamento decimal nos resultados matemáticos, pois as saídas são propriedades da relação, rótulos de elementos, contagens, tabelas e diagramas. O único arredondamento possível ocorre nas dimensões em pixels usadas ao exportar a imagem do diagrama.
Para trabalhos acadêmicos, provas ou textos formais, use o resultado como guia e ainda explique a relação, as verificações de ordem parcial e as relações de cobertura com suas próprias palavras.
Como usar esta calculadora
-
Escolha o modo de relação: divisibilidade, subconjuntos ou pares personalizados.
-
Insira ou edite os elementos do conjunto ordenado finito.
-
Se estiver usando o modo de pares personalizados, adicione ou importe os pares ordenados que definem a relação.
-
Confira a mensagem de status para ver se a relação é uma ordem parcial.
-
Use a tabela de diagnóstico para corrigir pares reflexivos ausentes, falhas de antissimetria ou pares transitivos ausentes.
-
Quando houver uma ordem parcial válida, leia o diagrama de Hasse e a tabela de relações de cobertura.
-
Confira os campos de resumo sobre elementos minimais, elementos maximais, elemento mínimo, elemento máximo, status de reticulado, cadeia máxima e anticadeia máxima.
-
Selecione um nó do diagrama para examinar os elementos abaixo dele, acima dele e incomparáveis com ele.
-
Use a opção de download quando precisar de uma cópia PNG do grafo renderizado.
Perguntas frequentes
O que um diagrama de Hasse mostra?
Um diagrama de Hasse mostra as relações de cobertura de um conjunto parcialmente ordenado finito. Ele omite laços em si mesmos e arestas da relação já implícitas pela transitividade, de modo que o desenho se concentra nos passos imediatos da ordem.
Por que alguns pares verdadeiros da relação não aparecem no diagrama?
Eles não estão ausentes da relação; são omitidos do desenho porque estão implícitos por caminhos que passam por outros elementos. Por exemplo, se \(a \le b\) e \(b \le c\), então \(a \le c\) é verdadeiro por transitividade, mas o diagrama normalmente desenha apenas os dois passos de cobertura mais curtos.
Qual é a diferença entre minimal e mínimo?
Um elemento minimal não tem nada estritamente abaixo dele. Um elemento mínimo está abaixo de todos os elementos do poset. Um poset pode ter vários elementos minimais, mas pode ter no máximo um elemento mínimo.
Qual é a diferença entre maximal e máximo?
Um elemento maximal não tem nada estritamente acima dele. Um elemento máximo está acima de todos os elementos do poset. Um poset pode ter vários elementos maximais, mas pode ter no máximo um elemento máximo.
O que torna um poset um reticulado?
Um poset é um reticulado quando cada par de elementos tem um único ínfimo e um único supremo. O ínfimo é o maior limitante inferior, e o supremo é o menor limitante superior.
Uma relação pode falhar mesmo que pareça uma ordem?
Sim. Uma relação personalizada pode parecer organizada e ainda assim falhar se não tiver pares reflexivos, tiver dois elementos distintos relacionados nas duas direções ou omitir uma implicação transitiva. As verificações de ordem parcial devem ser resolvidas antes de interpretar o diagrama.
Por que o modo de divisibilidade rejeita zero?
O modo de divisibilidade desta calculadora é restrito a inteiros finitos diferentes de zero para que cada teste da relação possa usar restos inteiros exatos. Use pares ordenados personalizados se a sua convenção incluir explicitamente o zero.
A cadeia e a anticadeia máximas são exatas?
Sim. A calculadora retorna uma cadeia máxima exata e uma anticadeia máxima exata para toda ordem parcial válida dentro do limite de entrada de 18 elementos. Se várias respostas tiverem o mesmo tamanho máximo, ela retorna um exemplo determinístico.
Fontes e referências
Livros
-
Kenneth H. Rosen. Discrete Mathematics and Its Applications. 8ª edição / lançamento de 2025, McGraw Hill. Capítulo 9, Relações, especialmente o material sobre ordens parciais e diagramas de Hasse. ISBN 9781266045479. Página da editora: https://www.mheducation.com/highered/product/discrete-mathematics-and-its-applications-rosen.html
-
B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. 2ª edição, Cambridge University Press, 2002. Capítulos 1–2, Conjuntos ordenados e Reticulados e reticulados completos. ISBN 9780521784511; ISBN on-line 9780511809088. Página da editora: https://www.cambridge.org/core/books/introduction-to-lattices-and-order/946458CB6638AF86D85BA00F5787F4F4
-
Richard P. Stanley. Enumerative Combinatorics, Volume 1. 2ª edição, Cambridge University Press, 2011. Capítulo 3, Conjuntos parcialmente ordenados, pp. 241–463. Página do capítulo: https://www.cambridge.org/core/books/abs/enumerative-combinatorics/partially-ordered-sets/23A70E5302E6CE88C7299273F338175E
Fontes on-line e educacionais
-
Eric Lehman, F. Thomson Leighton, and Albert R. Meyer. “Chapter 7: Relations and Partial Orders.” Mathematics for Computer Science, MIT OpenCourseWare, outono de 2010. Acesso em 28 de junho de 2026. https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/efac321fdc8d0b27586ca35b04aab808MIT6042JF10_chap07.pdf
-
Eric W. Weisstein. “Hasse Diagram.” MathWorld—A Wolfram Resource. Acesso em 28 de junho de 2026. https://mathworld.wolfram.com/HasseDiagram.html
-
Matt Insall and Eric W. Weisstein. “Partially Ordered Set.” MathWorld—A Wolfram Resource. Acesso em 28 de junho de 2026. https://mathworld.wolfram.com/PartiallyOrderedSet.html
-
Brendan Fong and David I. Spivak. “1.2: Meets and Joins.” Seven Sketches in Compositionality: An Invitation to Applied Category Theory, Mathematics LibreTexts. Acesso em 28 de junho de 2026. https://math.libretexts.org/Bookshelves/AppliedMathematics/SevenSketchesinCompositionality%3AAnInvitationtoAppliedCategoryTheory%28FongandSpivak%29/01%3AGenerativeEffects-OrdersandAdjunctions/1.02%3AMeetsandJoins
