Ajuda sobre diagramas reticulados simples

Question

Gostaria de ajuda para criar algumas redes simples, digamos, para representar 3 ou 4 conjuntos e relações de inclusão. Pesquisei, mas só encontrei resultados muito detalhados, que me interessam, mas não tenho tempo para ir tão longe no assunto. Isso pode parecer estranho, mas o fato é que na verdade não escrevo documentos em látex neste momento da minha carreira, só preciso de uma compreensão primitiva do látex para interagir no Math SE.

Se alguém pudesse responder com uma estrutura representando $C,B\subset A$, e $C,B$não comparável entre si, provavelmente seria a melhor maneira de aprender o básico para o que preciso, pois eu mesmo seria capaz de procurar os comandos e partir daí . Obrigado.

Editar: não tenho certeza de como mostrar minha "tentativa". Basicamente, passei por um monte de perguntas sobre TeX SE e documentação do LaTeX, mas não consigo discernir o que funcionará no Math SE, e as discussões que se seguem estão acima do meu nível de compreensão. A melhor ajuda seria apenas um exemplo como eu disse acima.

Answer 1

Aqui está um exemplo do que pode ser feito pstrickse, mais especificamente, com o psmatrixambiente de pst-node. A ideia básica é bastante simples: colocar os elementos da rede como elementos de uma matriz que são nós, e depois conectar esses nós com linhas invisíveis. As relações de inclusão são rótulos colocados no meio destas linhas:

\documentclass[a4paper,11pt, pdf]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}%
\usepackage{lmodern, amssymb}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{pst-node}


\newpsobject{ncemptyline}{ncline}{linestyle=none}
\newcommand*\ncsubset[2]{\ncemptyline{#1}{#2}\ncput[nrot=:U]{ \subset}}
\newcommand*\ncsubsetneq[2]{\ncemptyline{#1}{#2}\ncput[nrot=:U]{\varsubsetneq}}
\newcommand*\ncvarsubsetneq[2]{\ncemptyline{#1}{#2}\ncput[nrot=:U]{\scalebox{1}[-1]{$ \varsubsetneq $}}}

\pagestyle{empty}

\begin{document}
\psset{npos = 0.45}
\[ \begin{psmatrix}[rowsep = 0.3, colsep = 0.4]
 & [name = C] C \\
[name = B] B & & [name = D] D \\
 & [name = A] A \\
   \ncvarsubsetneq{A}{B}\ncsubsetneq{A}{D}

\ncsubset{B}{C}\ncsubset{D}{C}
\end{psmatrix} \]

\end{document}