rus:Пусть g - совокупность фигур. g есть граф еите каждое ребро из g инцидентно только вершинам из g.
eng:Let g be a collection of figures. g is a graph if and only if each edge in g is incident only to vertices in g.
yfl:declaration graph func(TV finset(U)) (g) ≝ ∀e:edge(g) (e (inc)ONLY vertex(g)).
Здесь дано определение графа с использованием понятий "ребро" и "вершина".
эквивалентность обоих детерминантов очевидна но формально должна быть доказана.
Замечание. Таким образом граф есть финсет с рёбрами и вершинами, обладающий определённым свойством указанным в определении. Если рёбер нет то мы получаем граф без рёбер. Легко видеть что и пустой фсет, т.е. когда и вершин нет, есть граф, см. дальше.
Замечание. такой граф можно считать внутренним (см.), т.к. он существует в рамках структуры U, inc. для того чтобы он стал самостоятельной структурой, к совокупности надо добавить отношение!