connected chordal graph; ternary system
By a chordal graph is meant a graph with no induced cycle of length $\ge 4$. By a ternary system is meant an ordered pair $(W, T)$, where $W$ is a finite nonempty set, and $T \subseteq W \times W \times W$. Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set $W$, a bijective mapping from the set of all connected chordal graphs $G$ with $V(G) = W$ onto the set of all ternary systems $(W, T)$ satisfying the axioms (A1)–(A5) is found in this paper.
 G. Chartrand and L. Lesniak: Graphs & Digraphs
. Third edition. Chapman & Hall, London, 1996. MR 1408678
 R. Diestel: Graph Theory
. Second Edition. Graduate Texts in Mathematics 173. Springer, New York, 2000. MR 1743598
| Zbl 0957.05001