Documentation

Mathlib.ModelTheory.Graph

First-Ordered Structures in Graph Theory #

This file defines first-order languages, structures, and theories in graph theory.

Main Definitions #

Simple Graphs #

The language consisting of a single relation representing adjacency.

Instances For

    The symbol representing the adjacency relation.

    Instances For

      Any simple graph can be thought of as a structure in the language of graphs.

      Instances For

        Any model of the theory of simple graphs represents a simple graph.

        Instances For