前の記事「関係（非決定性写像）に関する用語」で、関係に関する用語をまとめました。既存用語の流用で、整合性のある用語法を構成できました。この記事は続きです。関係に関する記法（記号的な書き方）はどうでしょうか？ 既存記法の流用で、整合性のある記…

関係（非決定性写像）に関する用語を一式準備します。できるだけ新しい言葉を作らないで、既存の言葉を流用します。その流用が整合的であることにも注意をはらいます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\hyp}{\text{－}} \newcommand{\Imp}{…