Конечный и бесконечный графы

Граф называется конечным, если число его вершин конечно.
Граф G(X) называется G – конечным, если для каждой его вершины

x Î X множество G(x) конечно, и бесконечным, если число вершин бес­конечно. Если обозначить |X| - число элементов множества X, то

граф G(X) конечен, если |X| < ¥,

граф G(X) G – конечен, если |G(x)| < ¥ " x Î X,

граф G(X) G^-1- конечен, если |G^-1(x)| < ¥ " x Î X.

Граф G(X) называется локально конечным, если он одновременно G - и G^-1 - конечен. Очевидно, что всякий конечный граф локально коне­чен.