Помощь по простым решетчатым диаграммам

Question

Мне нужна помощь в создании простых решеток, например, для представления 3 или 4 множеств и отношений включения. Я искал, но нашел только очень подробные результаты, которые меня интересуют, но у меня нет времени, чтобы углубляться в этот вопрос. Это может показаться странным, но дело в том, что на данном этапе своей карьеры я фактически не пишу документы Latex, мне просто нужно примитивное понимание Latex для взаимодействия с Math SE.

Если бы кто-то мог ответить сеткой, представляющей $C,B\subset A$, и $C,B$не сопоставимой друг с другом, это, вероятно, был бы лучший способ для меня изучить основы того, что мне нужно, поскольку я смог бы сам искать команды и отталкиваться от этого. Спасибо.

Редактировать: Я не совсем уверен, как показать свою "попытку". Я в основном просмотрел кучу вопросов по TeX SE и документацию LaTeX, но я совершенно не могу понять, что вообще будет работать в Math SE, а последующие обсуждения выше моего уровня понимания. Лучшей помощью был бы просто пример, как я сказал выше.

Answer 1

Вот пример того, что можно сделать с pstricks, а точнее с psmatrixокружением из pst-node. Основная идея довольно проста: поместить элементы решетки как элементы матрицы, которые являются узлами, затем соединить эти узлы невидимыми линиями. Отношения включения — это метки, размещенные в середине этих линий:

\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}