バイナリ関係のグラフをどのようにタイプセットするのでしょうか?

Question

次のような $\mathbb{R}$ 上の二項関係のグラフを LaTeX でタイプセットする最適な方法は何ですか。

太線はバイナリ関係（3 つの線分で構成）を表します。

Answer 1

$\text{No MWE or attempt} \mapsto \text{minimal explanations from me}$ここで取り上げられている内容はすべて、の第2章pgfmanualまたはで紹介されています。Tikzコマンドの概要これは一つの方法ですが、最善の方法ではないかもしれません。

\documentclass[tikz]{standalone}

\begin{document}
\begin{tikzpicture}
  \draw[thin,gray,text=black,<->] (0,1.4) node[left] {$y$}
                               |- (1.4,0) node[below] {$x\vphantom{1}$};
  \draw[densely dotted,gray] (1,0) |- (0,1);
  \draw[thick] (0,1) node[left] {$1$} 
           --  (0,0) node[below left] {$0$} 
           --  (1,0) node[below] {$1$}
               (0,0) -- (1,1);
\end{tikzpicture}
\end{document}